Efficient modular glass box software model checking.

Michael Roberson, Chandrasekhar Boyapati

Browse the full OOPSLA paper archive.