Efficient modular glass box software model checking (2010)

by Michael Roberson, Chandrasekhar Boyapati
Venue:In Proceedings of the 25th Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA