Follow
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
4792005
Points-to analysis for Java using annotated constraints
A Rountev, A Milanova, BG Ryder
ACM SIGPLAN Notices 36 (11), 43-55, 2001
2332001
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
2252002
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
1072004
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
1022015
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
952004
Robustness testing of Java server applications
C Fu, A Milanova, BG Ryder, DG Wonnacott
IEEE Transactions on Software Engineering 31 (4), 292-311, 2005
852005
Precise call graphs for C programs with function pointers
A Milanova, A Rountev, BG Ryder
Automated Software Engineering 11 (1), 7-26, 2004
762004
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
742012
Inference and checking of object ownership
W Huang, W Dietl, A Milanova, MD Ernst
European Conference on Object-Oriented Programming, 181-206, 2012
572012
Type-based taint analysis for Java web applications
W Huang, Y Dong, A Milanova
International Conference on Fundamental Approaches to Software Engineering …, 2014
452014
Precise identification of composition relationships for UML class diagrams
A Milanova
Proceedings of the 20th IEEE/ACM international Conference on Automated …, 2005
362005
Constructing precise object relation diagrams
A Milanova, A Rountev, BG Ryder
International Conference on Software Maintenance, 2002. Proceedings., 586-595, 2002
362002
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
332010
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
332008
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
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
252002
Efficient MPC via program analysis: A framework for efficient optimal mixing
M Ishaq, AL Milanova, V Zikas
Proceedings of the 2019 ACM SIGSAC Conference on Computer and Communications …, 2019
242019
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
212009
Static dominance inference
A Milanova, J Vitek
International Conference on Modelling Techniques and Tools for Computer …, 2011
202011
The system can't perform the operation now. Try again later.
Articles 1–20