 | 2009 |
|---|
| 19 |       | Ana Milanova,
Yin Liu:
Static ownership inference for reasoning against concurrency errors.
ICSE Companion 2009: 279-282 |
| 2008 |
|---|
| 18 | | Yin Liu,
Ana Milanova:
Static analysis for inference of explicit information flow.
PASTE 2008: 50-56 |
| 2007 |
|---|
| 17 | | Yin Liu,
Ana Milanova:
Ownership and Immutability Inference for UML-Based Object Access Control.
ICSE 2007: 323-332 |
| 16 | | Ana Milanova:
Light context-sensitive points-to analysis for java.
PASTE 2007: 25-30 |
| 15 | | Ana Milanova:
Composition inference for UML class diagrams.
Autom. Softw. Eng. 14(2): 179-213 (2007) |
| 2006 |
|---|
| 14 | | Ana Milanova,
Sonia Fahmy,
David Musser,
Bülent Yener:
A Secure Programming Paradigm for Network Virtualization.
BROADNETS 2006 |
| 13 | | Yin Liu,
Ana Milanova:
Static analysis for dynamic coupling measures.
CASCON 2006: 119-130 |
| 2005 |
|---|
| 12 | | Ana Milanova:
Precise identification of composition relationships for UML class diagrams.
ASE 2005: 76-85 |
| 11 | | Ana Milanova,
Barbara G. Ryder:
Annotated Inclusion Constraints for Precise Flow Analysis.
ICSM 2005: 187-196 |
| 10 | | Ana Milanova,
Atanas Rountev,
Barbara G. Ryder:
Parameterized object sensitivity for points-to analysis for Java.
ACM Trans. Softw. Eng. Methodol. 14(1): 1-41 (2005) |
| 9 | | Chen Fu,
Ana Milanova,
Barbara G. Ryder,
David Wonnacott:
Robustness Testing of Java Server Applications.
IEEE Trans. Software Eng. 31(4): 292-311 (2005) |
| 2004 |
|---|
| 8 | | Chen Fu,
Barbara G. Ryder,
Ana Milanova,
David Wonnacott:
Testing of java web services for robustness.
ISSTA 2004: 23-34 |
| 7 | | Ana Milanova,
Atanas Rountev,
Barbara G. Ryder:
Precise Call Graphs for C Programs with Function Pointers.
Autom. Softw. Eng. 11(1): 7-26 (2004) |
| 6 | | Atanas Rountev,
Ana Milanova,
Barbara G. Ryder:
Fragment Class Analysis for Testing of Polymorphism in Java Software.
IEEE Trans. Software Eng. 30(6): 372-387 (2004) |
| 2003 |
|---|
| 5 | | Atanas Rountev,
Ana Milanova,
Barbara G. Ryder:
Fragment Class Analysis for Testing of Polymorphism in Java Software.
ICSE 2003: 210-220 |
| 2002 |
|---|
| 4 | | Ana Milanova,
Atanas Rountev,
Barbara G. Ryder:
Constructing Precise Object Relation Diagrams.
ICSM 2002: 586-595 |
| 3 | | Ana Milanova,
Atanas Rountev,
Barbara G. Ryder:
Parameterized object sensitivity for points-to and side-effect analyses for Java.
ISSTA 2002: 1-11 |
| 2 | | Ana Milanova,
Atanas Rountev,
Barbara G. Ryder:
Precise Call Graph Construction in the Presence of Function Pointers.
SCAM 2002: 155-162 |
| 2001 |
|---|
| 1 |  | Atanas Rountev,
Ana Milanova,
Barbara G. Ryder:
Points-To Analysis for Java using Annotated Constraints.
OOPSLA 2001: 43-55 |
