Testing scratch programs automatically.

Andreas Stahlbauer Marvin Kreis Gordon Fraser

Published in: ESEC/SIGSOFT FSE (2019)

Keyphrases

symbolic execution
database
user defined
automatically generated
java programs
databases
information retrieval
artificial intelligence
mobile robot
open source
test set