Avik Sinha Carol Smidts Andrew Moran Enhanced Testing of Domain Specific Applications by Automatic Extraction of Axioms from Functional Specifications. 181-190 2003 conf/issre/2003 ISSRE http://csdl.computer.org/comp/proceedings/issre/2003/2007/00/20070181abs.htm db/conf/issre/issre2003.html#SinhaSM03