Search the dblp DataBase

Publications of Author

1. Yin Liu, Ana Milanova
   Static analysis for dynamic coupling measures. [Citation Graph (0, 0)][DBLP]
   CASCON, 2006, pp:119-130 [Conf]
   
2. 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]
   
3. 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]
   
4. Ana Milanova, Barbara G. Ryder
   Annotated Inclusion Constraints for Precise Flow Analysis. [Citation Graph (0, 0)][DBLP]
   ICSM, 2005, pp:187-196 [Conf]
   
5. Ana Milanova, Atanas Rountev, Barbara G. Ryder
   Constructing Precise Object Relation Diagrams. [Citation Graph (0, 0)][DBLP]
   ICSM, 2002, pp:586-595 [Conf]
   
6. 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]
   
7. 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]
   
8. Ana Milanova
   Precise identification of composition relationships for UML class diagrams. [Citation Graph (0, 0)][DBLP]
   ASE, 2005, pp:76-85 [Conf]
   
9. 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]
   
10. 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]
    
11. 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]
    
12. 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]
    
13. 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]
    
14. 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]
    
15. Ana Milanova
    Light context-sensitive points-to analysis for java. [Citation Graph (0, 0)][DBLP]
    PASTE, 2007, pp:25-30 [Conf]
    
16. 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]
    
17. 
    A Secure Programming Paradigm for Network Virtualization. [Citation Graph (, )][DBLP]
    
    
18. 
    Static ownership inference for reasoning against concurrency errors. [Citation Graph (, )][DBLP]
    
    
19. 
    Practical static analysis for inference of security-related program properties. [Citation Graph (, )][DBLP]
    
    
20. 
    Static analysis for inference of explicit information flow. [Citation Graph (, )][DBLP]