Jon Edvardsson

1973

• Techniques for automatic generation of tests from programs and specifications