TY  - RPRT
TI  - Formal Test Purposes and The Validity of Test Cases
AU  - Peter H. Deussen
AU  - Stephan Tobies
PY  - 2004
UR  - https://arxiv.org/abs/cs/0412100
ID  - cs/0412100
ER  -