JST: an automatic test generation tool for industrial Java applications with strings.

Indradeep Ghosh Nastaran Shafiei Guodong Li Wei-Fan Chiang

Published in: ICSE (2013)

Keyphrases

test generation
test cases
test sequences
software testing
symbolic execution
artificial intelligence
static analysis
quality assurance
mutation testing
database
design automation
test data generation
decision trees
image processing
feature selection
information systems
databases