-
Interprocedural Dataflow Analysis in the Presence of
Large Libraries,
A. Rountev, S. Kagan, and T. Marlowe,
International Conference on Compiler Construction
(CC'06),
LNCS 3923, pages 2-16, March 2006.
[PDF]
[BibTeX]
Copyright 2006
Springer-Verlag.
Additional details available in technical report
OSU-CISRC-1/06-TR01 (see below).
-
Coverage Criteria for Testing of Object Interactions
in Sequence Diagrams,
A. Rountev, S. Kagan, and J. Sawin,
Fundamental Approaches to Software Engineering
(FASE '05),
LNCS 3442, pages 282-297, April 2005.
[PDF]
[BibTeX]
Copyright 2005
Springer-Verlag.
An extended version of this work is available as
Technical Report OSU-CISRC-12/04-TR68 (see below).
-
Static and Dynamic Analysis of Call Chains in Java,
A. Rountev, S. Kagan, and M. Gibas,
ACM SIGSOFT International Symposium on
Software Testing and Analysis (ISSTA'04),
pages 1-11, July 2004.
[PDF]
[BibTeX]
Copyright 2004 ACM.
-
Evaluating the Imprecision of Static Analysis,
A. Rountev, S. Kagan, and M. Gibas,
ACM SIGPLAN-SIGSOFT Workshop on Program Analysis
for Software Tools and Engineereing (PASTE'04),
pages 14-16, June 2004.
[PDF]
[BibTeX]
Copyright 2004 ACM.
|