Active property checking.

Patrice Godefroid, Michael Y. Levin, David A. Molnar

Browse the full EMSOFT paper archive.