Enhanced Testing of Domain Specific Applications by Automatic Extraction of Axioms from Functional Specifications - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Avik Sinha' in GoogleThis author has not been identified. Look up 'Carol Smidts' in GoogleThis author has not been identified. Look up 'Andrew Moran' in Google

runs on WebDSL