Visualizing State Transition Graphs Hannes Pretorius Visualization Group, TU/e 17 October 2007 [email protected] apretori
9783642166174 c1
Using model checking and execution generated tests to find bugs in real code Dawson Engler Cristian Cadar, Junfeng Yang, Ted Kremenek, Paul Twohey Stanford.
Lecture 20 Stability
Using model checking and execution generated tests to find bugs in real code