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
5212005
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
2562002
Points-to analysis for Java using annotated constraints
A Rountev, A Milanova, BG Ryder
ACM SIGPLAN Notices 36 (11), 43-55, 2001
2392001
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
1232015
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
1082004
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
1002004
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
942012
Robustness testing of Java server applications
C Fu, A Milanova, BG Ryder, DG Wonnacott
IEEE Transactions on Software Engineering 31 (4), 292-311, 2005
942005
Precise call graphs for C programs with function pointers
A Milanova, A Rountev, BG Ryder
Automated Software Engineering 11, 7-26, 2004
872004
Inference and checking of object ownership
W Huang, W Dietl, A Milanova, MD Ernst
ECOOP 2012–Object-Oriented Programming: 26th European Conference, Beijing …, 2012
612012
Type-based taint analysis for Java web applications
W Huang, Y Dong, A Milanova
Fundamental Approaches to Software Engineering: 17th International …, 2014
572014
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
422010
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
392019
Precise identification of composition relationships for UML class diagrams
A Milanova
Proceedings of the 20th IEEE/ACM international Conference on Automated …, 2005
382005
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
372008
Constructing precise object relation diagrams
A Milanova, A Rountev, BG Ryder
International Conference on Software Maintenance, 2002. Proceedings., 586-595, 2002
372002
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
Static call graph construction in {AWS} lambda serverless applications
M Obetz, S Patterson, A Milanova
11th USENIX Workshop on Hot Topics in Cloud Computing (HotCloud 19), 2019
272019
Python 3 types in the wild: a tale of two type systems
I Rak-Amnouykit, D McCrevan, A Milanova, M Hirzel, J Dolby
Proceedings of the 16th ACM SIGPLAN International Symposium on Dynamic …, 2020
262020
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
262002
The system can't perform the operation now. Try again later.
Articles 1–20