Login / Signup

Employing Dynamic Symbolic Execution for Equivalent Mutant Detection.

Ahmed S. GhidukMoheb R. GirgisMarwa H. Shehata
Published in: IEEE Access (2019)
Keyphrases
  • symbolic execution
  • neural network
  • orders of magnitude
  • test data generation