Dynamic detection of object capability violations through model checking.

Dustin Rhodes, Tim Disney, Cormac Flanagan

Browse the full DLS paper archive.