Sign in

BDGSE: A Symbolic Execution Technique for High MC/DC.

Huangli CaiZhiyi ZhangYifan JianDan LiZhiqiu Huang
Published in: QRS (2023)
Keyphrases
  • symbolic execution
  • static analysis
  • test generation
  • test data generation
  • neural network
  • artificial intelligence
  • source code