Peter H. Deussen Stephan Tobies Formal Test Purposes and the Validity of Test Cases. 114-129 2002 conf/forte/2002 FORTE http://link.springer.de/link/service/series/0558/bibs/2529/25290114.htm db/conf/forte/forte2002.html#DeussenT02