Static and dynamic analysis of call chains in Java. - Atanas Rountev; Scott Kagan; Michael Gibas (ISSTA, 2004)

Evaluating the imprecision of static analysis. - Atanas Rountev; Scott Kagan; Michael Gibas (PASTE, 2004)

Coverage Criteria for Testing of Object Interactions in Sequence Diagrams. - Atanas Rountev; Scott Kagan; Jason Sawin (FASE, 2005)

Interprocedural Dataflow Analysis in the Presence of Large Libraries. - Atanas Rountev; Scott Kagan; Thomas J. Marlowe (CC, 2006)