|
Search the dblp DataBase
Ana Milanova:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Yin Liu, Ana Milanova
Static analysis for dynamic coupling measures. [Citation Graph (0, 0)][DBLP] CASCON, 2006, pp:119-130 [Conf]
- Atanas Rountev, Ana Milanova, Barbara G. Ryder
Fragment Class Analysis for Testing of Polymorphism in Java Software. [Citation Graph (0, 0)][DBLP] ICSE, 2003, pp:210-220 [Conf]
- Yin Liu, Ana Milanova
Ownership and Immutability Inference for UML-Based Object Access Control. [Citation Graph (0, 0)][DBLP] ICSE, 2007, pp:323-332 [Conf]
- Ana Milanova, Barbara G. Ryder
Annotated Inclusion Constraints for Precise Flow Analysis. [Citation Graph (0, 0)][DBLP] ICSM, 2005, pp:187-196 [Conf]
- Ana Milanova, Atanas Rountev, Barbara G. Ryder
Constructing Precise Object Relation Diagrams. [Citation Graph (0, 0)][DBLP] ICSM, 2002, pp:586-595 [Conf]
- Chen Fu, Barbara G. Ryder, Ana Milanova, David Wonnacott
Testing of java web services for robustness. [Citation Graph (0, 0)][DBLP] ISSTA, 2004, pp:23-34 [Conf]
- Ana Milanova, Atanas Rountev, Barbara G. Ryder
Parameterized object sensitivity for points-to and side-effect analyses for Java. [Citation Graph (0, 0)][DBLP] ISSTA, 2002, pp:1-11 [Conf]
- Ana Milanova
Precise identification of composition relationships for UML class diagrams. [Citation Graph (0, 0)][DBLP] ASE, 2005, pp:76-85 [Conf]
- Atanas Rountev, Ana Milanova, Barbara G. Ryder
Points-To Analysis for Java using Annotated Constraints. [Citation Graph (0, 0)][DBLP] OOPSLA, 2001, pp:43-55 [Conf]
- Ana Milanova, Atanas Rountev, Barbara G. Ryder
Precise Call Graph Construction in the Presence of Function Pointers. [Citation Graph (0, 0)][DBLP] SCAM, 2002, pp:155-162 [Conf]
- Ana Milanova, Atanas Rountev, Barbara G. Ryder
Precise Call Graphs for C Programs with Function Pointers. [Citation Graph (0, 0)][DBLP] Autom. Softw. Eng., 2004, v:11, n:1, pp:7-26 [Journal]
- Ana Milanova, Atanas Rountev, Barbara G. Ryder
Parameterized object sensitivity for points-to analysis for Java. [Citation Graph (0, 0)][DBLP] ACM Trans. Softw. Eng. Methodol., 2005, v:14, n:1, pp:1-41 [Journal]
- Chen Fu, Ana Milanova, Barbara G. Ryder, David Wonnacott
Robustness Testing of Java Server Applications. [Citation Graph (0, 0)][DBLP] IEEE Trans. Software Eng., 2005, v:31, n:4, pp:292-311 [Journal]
- Atanas Rountev, Ana Milanova, Barbara G. Ryder
Fragment Class Analysis for Testing of Polymorphism in Java Software. [Citation Graph (0, 0)][DBLP] IEEE Trans. Software Eng., 2004, v:30, n:6, pp:372-387 [Journal]
- Ana Milanova
Light context-sensitive points-to analysis for java. [Citation Graph (0, 0)][DBLP] PASTE, 2007, pp:25-30 [Conf]
- Ana Milanova
Composition inference for UML class diagrams. [Citation Graph (0, 0)][DBLP] Autom. Softw. Eng., 2007, v:14, n:2, pp:179-213 [Journal]
A Secure Programming Paradigm for Network Virtualization. [Citation Graph (, )][DBLP]
Static ownership inference for reasoning against concurrency errors. [Citation Graph (, )][DBLP]
Practical static analysis for inference of security-related program properties. [Citation Graph (, )][DBLP]
Static analysis for inference of explicit information flow. [Citation Graph (, )][DBLP]
Search in 0.003secs, Finished in 0.004secs
|