2008 |
18 | EE | Yin Liu,
Ana Milanova:
Static analysis for inference of explicit information flow.
PASTE 2008: 50-56 |
2007 |
17 | EE | Yin Liu,
Ana Milanova:
Ownership and Immutability Inference for UML-Based Object Access Control.
ICSE 2007: 323-332 |
16 | EE | Ana Milanova:
Light context-sensitive points-to analysis for java.
PASTE 2007: 25-30 |
15 | EE | Ana Milanova:
Composition inference for UML class diagrams.
Autom. Softw. Eng. 14(2): 179-213 (2007) |
2006 |
14 | EE | Ana Milanova,
Sonia Fahmy,
David Musser,
Bülent Yener:
A Secure Programming Paradigm for Network Virtualization.
BROADNETS 2006 |
13 | EE | Yin Liu,
Ana Milanova:
Static analysis for dynamic coupling measures.
CASCON 2006: 119-130 |
2005 |
12 | EE | Ana Milanova:
Precise identification of composition relationships for UML class diagrams.
ASE 2005: 76-85 |
11 | EE | Ana Milanova,
Barbara G. Ryder:
Annotated Inclusion Constraints for Precise Flow Analysis.
ICSM 2005: 187-196 |
10 | EE | 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 | EE | 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 | EE | Chen Fu,
Barbara G. Ryder,
Ana Milanova,
David Wonnacott:
Testing of java web services for robustness.
ISSTA 2004: 23-34 |
7 | EE | 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 | EE | 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 | EE | Atanas Rountev,
Ana Milanova,
Barbara G. Ryder:
Fragment Class Analysis for Testing of Polymorphism in Java Software.
ICSE 2003: 210-220 |
2002 |
4 | EE | Ana Milanova,
Atanas Rountev,
Barbara G. Ryder:
Constructing Precise Object Relation Diagrams.
ICSM 2002: 586-595 |
3 | EE | Ana Milanova,
Atanas Rountev,
Barbara G. Ryder:
Parameterized object sensitivity for points-to and side-effect analyses for Java.
ISSTA 2002: 1-11 |
2 | EE | 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 |