Automated unit test generation for classes with environment dependencies.

Andrea Arcuri Gordon Fraser Juan Pablo Galeotti

Published in: ASE (2014)

Keyphrases

test generation
test cases
test sequences
symbolic execution
mobile robot
real world
high quality
xml documents