Marie-Claude Gaudel. Software Testing Based on Formal Specification. In Paulo Borba, Ana Cavalcanti, Augusto Sampaio, Jim Woodcock, editors, Testing Techniques in Software Engineering, Second Pernambuco Summer School on Software Engineering, PSSE 2007, Recife, Brazil, December 3-7, 2007, Revised Lectures. Volume 6153 of Lecture Notes in Computer Science, pages 215-242, Springer, 2007. [doi]