Login / Signup
Structural Test Input Generation for 3-Address Code Coverage Using Path-Merged Symbolic Execution.
Soha Hussein
Stephen McCamant
Elena Sherman
Vaibhav Sharma
Mike Whalen
Published in:
AST (2023)
Keyphrases
</>
test generation
symbolic execution
code coverage
test cases
software testing
test data generation
static analysis
quality assurance
generation algorithm
genetic algorithm
web services
open source
software development
regression testing