On the Distribution of Property Violations in Formal Models: An Initial Study.

Jimin Gao, Mats Per Erik Heimdahl, David Owen, Tim Menzies

Browse the full COMPSAC paper archive.