Login / Signup
Towards a Framework for Generating Tests to Satisfy Complex Code Coverage in Java Pathfinder.
Matt Staats
Published in:
NASA Formal Methods (2009)
Keyphrases
</>
lightweight
complex systems
databases
real world
learning algorithm
data sets
web services
programming language
test generation