Sign in

Benchmarking the Capability of Symbolic Execution Tools with Logic Bombs.

Hui XuZirui ZhaoYangfan ZhouMichael R. Lyu
Published in: IEEE Trans. Dependable Secur. Comput. (2020)
Keyphrases
  • symbolic execution
  • test generation
  • static analysis
  • artificial intelligence
  • data flow
  • databases
  • training data
  • test data generation
  • open source
  • source code
  • test cases