Patrícia Machado, Augusto Sampaio. Automatic Test-Case Generation. 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 59-103, Springer, 2007. [doi]
Abstract is missing.