Enhanced Testing of Domain Specific Applications by Automatic Extraction of Axioms from Functional Specifications.

Avik Sinha, Carol S. Smidts, Andrew Moran

Browse the full ISSRE paper archive.