Automatic Verification of Requirements Implementation.

Marsha Chechik, John D. Gannon

Browse the full ISSTA paper archive.