Ana Milanova
Title
Cited by
Cited by
Year
Parameterized object sensitivity for points-to analysis for Java
A Milanova, A Rountev, BG Ryder
ACM Transactions on Software Engineering and Methodology (TOSEM) 14 (1), 1-41, 2005
4292005
Points-to analysis for Java using annotated constraints
A Rountev, A Milanova, BG Ryder
ACM SIGPLAN Notices 36 (11), 43-55, 2001
2242001
Parameterized object sensitivity for points-to and side-effect analyses for Java
A Milanova, A Rountev, BG Ryder
Proceedings of the 2002 ACM SIGSOFT international symposium on Software …, 2002
2162002
Fragment class analysis for testing of polymorphism in Java software
A Rountev, A Milanova, BG Ryder
IEEE Transactions on Software Engineering 30 (6), 372-387, 2004
1022004
Testing of java web services for robustness
C Fu, BG Ryder, A Milanova, D Wonnacott
Proceedings of the 2004 ACM SIGSOFT international symposium on Software …, 2004
902004
Robustness testing of Java server applications
C Fu, A Milanova, BG Ryder, DG Wonnacott
IEEE Transactions on Software Engineering 31 (4), 292-311, 2005
782005
Scalable and precise taint analysis for android
W Huang, Y Dong, A Milanova, J Dolby
Proceedings of the 2015 International Symposium on Software Testing and …, 2015
762015
Precise call graphs for C programs with function pointers
A Milanova, A Rountev, BG Ryder
Automated Software Engineering 11 (1), 7-26, 2004
712004
ReIm & ReImInfer: Checking and inference of reference immutability and method purity
W Huang, A Milanova, W Dietl, MD Ernst
ACM SIGPLAN Notices 47 (10), 879-896, 2012
632012
Inference and checking of object ownership
W Huang, W Dietl, A Milanova, MD Ernst
European Conference on Object-Oriented Programming, 181-206, 2012
532012
Type-based taint analysis for Java web applications
W Huang, Y Dong, A Milanova
International Conference on Fundamental Approaches to Software Engineering …, 2014
352014
Precise identification of composition relationships for UML class diagrams
A Milanova
Proceedings of the 20th IEEE/ACM international Conference on Automated …, 2005
342005
Ownership and immutability inference for UML-based object access control
Y Liu, A Milanova
29th International Conference on Software Engineering (ICSE'07), 323-332, 2007
332007
Constructing precise object relation diagrams
A Milanova, A Rountev, BG Ryder
International Conference on Software Maintenance, 2002. Proceedings., 586-595, 2002
332002
Static analysis for inference of explicit information flow
Y Liu, A Milanova
Proceedings of the 8th ACM SIGPLAN-SIGSOFT workshop on Program analysis for …, 2008
302008
Static information flow analysis with handling of implicit flows and a study on effects of implicit flows vs explicit flows
Y Liu, A Milanova
2010 14th European Conference on Software Maintenance and Reengineering, 146-155, 2010
292010
Precise call graph construction in the presence of function pointers
A Milanova, A Rountev, BG Ryder
Proceedings. Second IEEE International Workshop on Source Code Analysis and …, 2002
242002
Static dominance inference
A Milanova, J Vitek
International Conference on Modelling Techniques and Tools for Computer …, 2011
202011
Practical static analysis for inference of security-related program properties
Y Liu, A Milanova
2009 IEEE 17th International Conference on Program Comprehension, 50-59, 2009
182009
ReImInfer: method purity inference for Java
W Huang, A Milanova
Proceedings of the ACM SIGSOFT 20th International Symposium on the …, 2012
162012
The system can't perform the operation now. Try again later.
Articles 1–20