Unit Lemmas for Detecting Requirement and Specification Flaws.

Ashlie B. Hocking, Jonathan C. Rowanhill, Ben L. Di Vito

Browse the full ISSRE paper archive.