language: en

Relating Test Purposes to Formal Specifications: Towards a Theoretical Foundation of Practical Testing

Jens Grabowski, Dieter Hogrefe Robert Nahm, Andreas Spichiger
IAM-93-014 June 1993