Travelled to:1 × Canada
Collaborated with:N.Gupta
Talks about:criterion (1) structur (1) program (1) coverag (1) invari (1) detect (1) dynam (1) new (1)
Person: Zachary V. Heidepriem
DBLP: Heidepriem:Zachary_V=
Contributed to:
2003Wrote 1 papers:
- ASE-2003-GuptaH #detection #invariant #test coverage
- A New Structural Coverage Criterion for Dynamic Detection of Program Invariants (NG, ZVH), pp. 49–59.