C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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