Longuet, Delphine; Aiguier, Marc; Le Gall, Pascale Proof-guided test selection from first-order specifications with equality. (English) Zbl 1214.68221 J. Autom. Reasoning 45, No. 4, 437-473 (2010). MSC: 68Q60 PDF BibTeX XML Cite \textit{D. Longuet} et al., J. Autom. Reasoning 45, No. 4, 437--473 (2010; Zbl 1214.68221) Full Text: DOI
Aiguier, Marc; Arnould, Agnès; Boin, Clément; Le Gall, Pascale; Marre, Bruno Testing from algebraic specifications: Test data set selection by unfolding axioms. (English) Zbl 1183.68175 Grieskamp, Wolfgang (ed.) et al., Formal approaches to software testing. 5th international workshop, FATES 2005, Edinburgh, UK, July 11, 2005. Revised selected papers. Berlin: Springer (ISBN 3-540-34454-3/pbk). Lecture Notes in Computer Science 3997, 203-217 (2006). MSC: 68N30 68Q65 PDF BibTeX XML Cite \textit{M. Aiguier} et al., Lect. Notes Comput. Sci. 3997, 203--217 (2006; Zbl 1183.68175) Full Text: DOI