Avik Sinha, Carol Smidts, Andrew Moran. Enhanced Testing of Domain Specific Applications by Automatic Extraction of Axioms from Functional Specifications. In 14th International Symposium on Software Reliability Engineering (ISSRE 2003), 17-20 November 2003, Denver, CO, USA. pages 181-190, IEEE Computer Society, 2003. [doi]
Abstract is missing.