"Insights into software testing."

Martin R. Woodward (2001)
a service of Schloss Dagstuhl - Leibniz Center for Informatics