Specification-Based Test Repair Using a Lightweight Formal Method.

Guowei Yang, Sarfraz Khurshid, Miryung Kim

Browse the full FM paper archive.