Login / Signup
Strategies for scalable symbolic execution-driven test generation for programs.
Saparya Krishnamoorthy
Michael S. Hsiao
Loganathan Lingappan
Published in:
Sci. China Inf. Sci. (2011)
Keyphrases
</>
symbolic execution
test generation
test cases
design automation
test data generation
static analysis
quality assurance
data sets
information systems
search strategies
test suite
software testing
database
multi agent systems
data flow