Login / Signup

Automatic Test Generation of Large Boolean Expressions in Computer Based Interlocking System.

Zhiwei LiJing LiuHaiying SunTingliang ZhouJunfeng Sun
Published in: APSEC (2017)
Keyphrases
  • test generation
  • boolean expressions
  • test cases
  • static analysis
  • quality assurance
  • databases
  • normal form
  • case study
  • computational complexity
  • matching algorithm