Travelled to:2 × USA
Collaborated with:∅
Talks about:procedur (2) test (2) approach (1) softwar (1) automat (1) formal (1) verif (1) revis (1) new (1)
Person: David J. Panzl
DBLP: Panzl:David_J=
Contributed to:
19781976Wrote 2 papers:
- ICSE-1978-Panzl #automation #testing
- Automatic Revision of Formal Test Procedures (DJP), pp. 320–326.
- ICSE-1976-Panzl #approach #testing #verification
- Test Procedures: A New Approach to Software Verification (DJP), pp. 477–485.