Chihani, Zakaria; Marre, Bruno; Bobot, François; Bardin, Sébastien Sharpening constraint programming approaches for bit-vector theory. (English) Zbl 06756571 Salvagnin, Domenico (ed.) et al., Integration of AI and OR techniques in constraint programming. 14th international conference, CPAIOR 2017, Padua, Italy, June 5–8, 2017. Proceedings. Cham: Springer (ISBN 978-3-319-59775-1/pbk; 978-3-319-59776-8/ebook). Lecture Notes in Computer Science 10335, 3-20 (2017). MSC: 68T20 90C27 PDF BibTeX XML Cite \textit{Z. Chihani} et al., Lect. Notes Comput. Sci. 10335, 3--20 (2017; Zbl 06756571) 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