Login / Signup
Employing Dynamic Symbolic Execution for Equivalent Mutant Detection.
Ahmed S. Ghiduk
Moheb R. Girgis
Marwa H. Shehata
Published in:
IEEE Access (2019)
Keyphrases
</>
symbolic execution
neural network
orders of magnitude
test data generation