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
4882005
Points-to analysis for Java using annotated constraints
A Rountev, A Milanova, BG Ryder
ACM SIGPLAN Notices 36 (11), 43-55, 2001
2312001
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
2292002
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
1062015
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
972004
Robustness testing of Java server applications
C Fu, A Milanova, BG Ryder, DG Wonnacott
IEEE Transactions on Software Engineering 31 (4), 292-311, 2005
882005
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
792012
Precise call graphs for C programs with function pointers
A Milanova, A Rountev, BG Ryder
Automated Software Engineering 11 (1), 7-26, 2004
782004
Inference and checking of object ownership
W Huang, W Dietl, A Milanova, MD Ernst
European Conference on Object-Oriented Programming, 181-206, 2012
582012
Type-based taint analysis for Java web applications
W Huang, Y Dong, A Milanova
International Conference on Fundamental Approaches to Software Engineering …, 2014
492014
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
352010
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
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
282019
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
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