2006 |
4 | EE | Atanas Rountev,
Scott Kagan,
Thomas J. Marlowe:
Interprocedural Dataflow Analysis in the Presence of Large Libraries.
CC 2006: 2-16 |
2005 |
3 | EE | Atanas Rountev,
Scott Kagan,
Jason Sawin:
Coverage Criteria for Testing of Object Interactions in Sequence Diagrams.
FASE 2005: 289-304 |
2004 |
2 | EE | Atanas Rountev,
Scott Kagan,
Michael Gibas:
Static and dynamic analysis of call chains in Java.
ISSTA 2004: 1-11 |
1 | EE | Atanas Rountev,
Scott Kagan,
Michael Gibas:
Evaluating the imprecision of static analysis.
PASTE 2004: 14-16 |