Travelled to:
2 × USA
Collaborated with:
M.Young J.Palsberg
Talks about:
intersect (1) polyvari (1) monitor (1) coverag (1) residu (1) inform (1) union (1) type (1) test (1) flow (1)
Person: Christina Pavlopoulou
DBLP: Pavlopoulou:Christina
Contributed to:
Wrote 2 papers:
- ICSE-1999-PavlopoulouY #monitoring #test coverage
- Residual Test Coverage Monitoring (CP, MY), pp. 277–284.
- POPL-1998-PalsbergP
- From Polyvariant Flow Information to Intersection and Union Types (JP, CP), pp. 197–208.