Solution Enumeration Abstraction: A Modeling Idiom to Enhance a Lightweight Formal Method.

Allison Sullivan, Darko Marinov, Sarfraz Khurshid

Browse the full ICFEM paper archive.