Collaborated with:
P.Newcomb
Talks about:
coverag (1) analysi (1) specif (1) formal (1) tool (1) test (1)
Person: John Chilenski
DBLP: Chilenski:John
Contributed to:
Wrote 1 papers:
- KBSE-1994-ChilenskiN #analysis #specification #test coverage #tool support
- Formal Specification Tools for Test Coverage Analysis (JC, PN), pp. 59–68.