2009:

  1. Yin Liu and Ana Milanova, "Practical Static Analysis for Inference of Security-related Program Properties", Proceedings of the IEEE International Conference on Program Comprehension (ICPC 2009), May 2009. [pdf]

  2. Ana Milanova and Yin Liu, "Static Ownership Inference for Reasoning Against Concurrency Errors", Proceedings of the ACM SIGSOFT/IEEE International Conference on Software Engineering (ICSE 2009), Track on New Ideas and Emerging Results. May 2009. [pdf]

2008:

  1. Yin Liu and Ana Milanova, "Static Analysis for Inference of Explicit Information Flow", Proceedings of the ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering (PASTE 2008), November 2008. [pdf]

  2. Ana Milanova, "Static Inference of Universe Types", Proceedings of the International Workshop on Aliasing, Confinement and Ownership at ECOOP'08 (IWACO 2008), July 2008. [pdf]

2007:

  1. Ana Milanova, "Light Context-sensitive Points-to Analysis for Java", Proceedings of the ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering (PASTE 2007), June 2007. [pdf]

  2. Yin Liu and Ana Milanova, "Ownership and Immutability Inference for UML-based Object Access Control", Proceedings of the ACM SIGSOFT/IEEE International Conference on Software Engineering (ICSE 2007), May 2007. [pdf]

  3. Ana Milanova, "Composition Inference for UML Class Diagrams", International Journal of Automated Software Engineering (JASE), volume 14, issue 2, pages 179-213, June 2007. Special issue with extended versions of the best papers from ASE'05. [pdf]

2006:

  1. Yin Liu and Ana Milanova, "Static Analysis for Dynamic Coupling Measures", Proceedings of the 16th IBM Centre for Advanced Studies Annual International Conference on Computer Science and Software Engineering (CASCON 2006), October 2006. [pdf]

  2. Ana Milanova, Sonia Fahmy, David Musser and Bulent Yener, "A Secure Programming Paradigm for Network Virtualization" (invited paper, 10 pages), Proceedings of the IEEE International Conference on Broadband Communications, Networks and Systems (BroadNets 2006), October 2006.

2005:

  1. Ana Milanova, "Precise Identification of Composition Relationships for UML Class Diagrams", Proceedings of the IEEE/ACM International Conference on Automated Software Engineering (ASE 2005), November 2005. [pdf]

  2. Ana Milanova and Barbara G. Ryder, "Annotated Inclusion Constraints for Precise Flow Analysis", Proceedings of the IEEE International Conference on Software Maintenance (ICSM 2005), September 2005. [pdf]

  3. Chen Fu, Ana Milanova, Barbara G. Ryder, and David Wannacott, "Robustness Testing of Java Server Applications", IEEE Transactions on Software Engineering (TSE),vol. 31, no. 4, pp. 292-311, April 2005. Special issue with extended versions of the best papers from ISSTA'04. [pdf]

  4. Ana Milanova, Atanas Rountev, and Barbara G. Ryder, "Parameterized Object Sensitivity for Points-to Analysis for Java", ACM Transactions on Software Engineering and Methodology (TOSEM),vol. 14, no. 1, pp. 1-41, January 2005. [pdf]

2004:

  1. Atanas Rountev, Ana Milanova and Barbara G. Ryder, "Fragment Class Analysis for Testing of Polymorphism in Java Software", IEEE Transactions on Software Engineering (TSE),vol. 30, no. 6, pp. 372-387, June 2004. Special issue with extended versions of the best papers from ICSE'03. [pdf]

  2. Chen Fu, Barbara G. Ryder, Ana Milanova, and David Wonnacott, "Testing of Java Web Services for Robustness", Proceedings of the ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2004), July, 2004. [pdf]

  3. Ana Milanova, Atanas Rountev and Barbara G. Ryder, "Precise Call Graphs for C Programs with Function Pointers", International Journal of Automated Software Engineering (JASE), volume 11, issue 1, pages 7-26, January 2004. Special issue with extended versions of the best papers from SCAM'02. [pdf]

2001-2003:

  1. Atanas Rountev, Ana Milanova, and Barbara G. Ryder, "Fragment Class Analysis for Testing of Polymorphism in Java Software", Proceedings of the ACM SIGSOFT/IEEE International Conference on Software Engineering (ICSE 2003), May, 2003. [pdf]

  2. Ana Milanova, Atanas Rountev, and Barbara G. Ryder, "Parameterized Object Sensitivity for Points-to and Side-Effect Analyses for Java", Proceedings of the ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2002), July, 2002. [pdf]

  3. Ana Milanova, Atanas Rountev, and Barbara G. Ryder, "Precise Call Graph Construction in the Presence of Function Pointers", Proceedings of the IEEE International Workshop on Source Code Analysis and Manipulation (SCAM 2002), October, 2002. [pdf]

  4. Ana Milanova, Atanas Rountev, and Barbara G. Ryder, "Constructing Precise Object Relation Diagrams", Proceedings of the IEEE International Conference on Software Maintenance (ICSM 2002), October, 2002. [pdf]

  5. Atanas Rountev, Ana Milanova, and Barbara G. Ryder, "Points-to Analysis for Java Using Annotated Constraints", Proceedings of the ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages and Applications (OOPSLA 2001), October, 2001. [pdf]

Thesis

  1. Ana Milanova, "Precise and Practical Flow Analysis of Object-oriented Software", Ph.D. thesis, Rutgers University, August 2003