Login / Signup

Eliminating Path Redundancy via Postconditioned Symbolic Execution.

Qiuping YiZijiang YangShengjian GuoChao WangJian LiuChen Zhao
Published in: IEEE Trans. Software Eng. (2018)
Keyphrases
  • symbolic execution
  • static analysis
  • test generation
  • test data generation
  • source code
  • specification language
  • neural network
  • test cases
  • data flow
  • high level
  • evolutionary algorithm
  • open source
  • pattern matching