CompoSAT: Specification-Guided Coverage for Model Finding.

Sorawee Porncharoenwase, Tim Nelson, Shriram Krishnamurthi

Browse the full FM paper archive.