You’re Guide to Getting France Leaseback Ski Property and More
Using model checking and execution generated tests to find bugs in real code Dawson Engler Cristian Cadar, Junfeng Yang, Ted Kremenek, Paul Twohey Stanford.
Floating-point arithmetic FPA semantics FPA representation sign.
Using model checking and execution generated tests to find bugs in real code