Model extraction and test generation from JUnit test suites.

Pablo Lamela Seijas Simon J. Thompson Miguel Angel Francisco

Published in: AST@ICSE (2016)

Keyphrases

test cases
test suite
test generation
machine learning
database
artificial intelligence
high level
model checker