David J. Panzl

发表

A method for evaluating software development techniques

David J. Panzl, 1981, J. Syst. Softw..

Test procedures: A new approach to software verification

David J. Panzl, 1976, ICSE '76.

Automatic Software Test Drivers

David J. Panzl, 1978, Computer.

Automatic revision of formal test procedures

David J. Panzl, 1978, ICSE '78.