Biblio

Export 10 results:
Sort by:
Filters: Author is Milanova, Ana  [Clear All Filters]
2005
Milanova, A., and B. G. Ryder, "A Framework for Context Sensitivity Using Annotated Inclusion Constraints for Flow Analysis of Object-oriented Programs", Proceedings of the 21st International Conference on Software Maintenance (ICSM), Budapest, Hungary, September, 2005.
Milanova, A., A. Rountev, and B. G. Ryder, "Parameterized Object Sensitivity for Pointsto Analysis for Java", extended version of ISSTA 2002 paper solicited for journal publication in ACM Transactions on Software Engineering Methodology, vol. 14, no. 1, pp. 1-41, January, 2005.
2004
Rountev, A., A. Milanova, and B. G. Ryder, "Fragment Class Analysis for Testing Polymorphism in Java Software", extended version of ICSE 2003 paper solicited for special issue journal publication in IEEE Transactions on Software Engineering, vol. 30, no. 6, pp. 372-387, June, 2004.
Milanova, A., A. Rountev, and B. G. Ryder, "Precise Call Graphs for C Programs with Function Pointers", Automated Software Engineering special issue on Source Code Analysis and Manipulation, vol. 11, no. 1, pp. 7-26, January, 2004.
Fu, C., A. Milanova, B. G. Ryder, and D. Wonnacott, "Robustness Testing of Java Server Applications”,", extended version of ISSTA 2004 paper solicited for journal publication in IEEE Transactions on Software Engineering, vol. 31, no. 4, pp. 292-312, April, 2004.
2003
Rountev, A., A. Milanova, and B. G. Ryder, "Fragment Class Analysis for Testing Polymorphism in Java Software", Proceedings of the 25th International Conference on Software Engineering, Portland OR, pp. 210-220, May, 2003.
2002
Milanova, A., A. Rountev, and B. G. Ryder, "Constructing Precise Object Relation Diagrams", Proceedings of the IEEE International Conference on Software Maintenance, Montreal, Canada, pp. 586-595, October, 2002.
Milanova, A., A. Rountev, and B. G. Ryder, "Precise Call Graph Construction in the Presence of Function Pointers", Second IEEE International Workshop on Source Code Analysis and Manipulation (SCAM), Montreal, Canada, October, 2002.
Milanova, A., A. Rountev, and B. G. Ryder, "Parameterized Object Sensitivity for Points-to and Side-Effect Analyses for Java", Proceedings of the International Symposium on Software Testing and Analysis (ISSTA), pp. 1-11, July, 2002.
2001
Rountev, A., A. Milanova, and B. G. Ryder, "Points-to Analysis for Java Using Annotated Inclusion Constraints", Proceedings of the ACM SIGPLAN Conference on Object Oriented Programming Languages, Systems and Applications, pp. 43-55, October, 2001.