KLEE: Unassisted and Automatic Generation of High-Coverage Tests for Complex Systems Programs.

Cristian Cadar Daniel Dunbar Dawson R. Engler

Published in: OSDI (2008)

Keyphrases

complex systems
dynamic systems
simplex method
multi agent systems
biological systems
discrete event systems
set of test cases
test suite
mathematical models
physical systems
computational systems
technical systems
steady state simulation
linear programming
industrial applications
emergent behavior