Bita: Coverage-guided, automatic testing of actor programs.

Samira Tasharofi Michael Pradel Yu Lin Ralph E. Johnson

Published in: ASE (2013)

Keyphrases

set of test cases
test cases
symbolic execution
test suite
fully automatic
test data generation
real world
machine learning
artificial intelligence
decision trees
training data
artificial neural networks
medical images
test data
programming environment
fixpoint