title = {Formal Test Purposes and The Validity of Test Cases},
author = {Peter H. Deussen and Stephan Tobies}, journal = {CoRR}, note = {informal publication}, url = {http://dblp.uni-trier.de/db/journals/corr/corr0412.html#abs-cs-0412100}, volume = {abs/cs/0412100}, year = {2004}, description = {dblp}, ee = {http://arxiv.org/abs/cs/0412100}, date = {2008-01-02},
keywords = {dblp }
::