Understanding The Impact of Solver Choice in Model-Based Test Generation.

Ying Meng Gregory Gay

Published in: ESEM (2020)

Keyphrases

test generation
test cases
test sequences
design automation
symbolic execution
static analysis
database
software testing
high level
open source
quality assurance
feature selection
information technology