Marc Aiguier, Agnès Arnould, Clément Boin, Pascale Le Gall, Bruno Marre. Testing from Algebraic Specifications: Test Data Set Selection by Unfolding Axioms. In Wolfgang Grieskamp, Carsten Weise, editors, Formal Approaches to Software Testing, 5th International Workshop, FATES 2005, Edinburgh, UK, July 11, 2005, Revised Selected Papers. Volume 3997 of Lecture Notes in Computer Science, pages 203-217, Springer, 2005. [doi]
Abstract is missing.