Frama-C: A software analysis perspective
Jcrasher: an automatic robustness tester for java