Path reduction of multiple test points in dynamic symbolic execution.

Jiawen Lu Lizhi Cai Yang Zhang

Published in: ICIS (2017)

Keyphrases

symbolic execution
test data generation
test generation
test cases
endpoints
search algorithm
software testing
database
artificial intelligence
monitoring system
specification language