Wang, Wenxi; Søndergaard, Harald; Stuckey, Peter J. Wombit: a portfolio bit-vector solver using word-level propagation. (English) Zbl 07100461 J. Autom. Reasoning 63, No. 3, 723-762 (2019). MSC: 68T15 PDF BibTeX XML Cite \textit{W. Wang} et al., J. Autom. Reasoning 63, No. 3, 723--762 (2019; Zbl 07100461) Full Text: DOI
Aiguier, Marc; Longuet, Delphine Some general results about proof normalization. (English) Zbl 1255.03050 Log. Univers. 4, No. 1, 1-29 (2010). MSC: 03F05 03B22 03F07 PDF BibTeX XML Cite \textit{M. Aiguier} and \textit{D. Longuet}, Log. Univers. 4, No. 1, 1--29 (2010; Zbl 1255.03050) Full Text: DOI
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