Milanova, Ana - Department of Computer Science, Rensselaer Polytechnic Institute

Advanced Search

Milanova, Ana - Department of Computer Science, Rensselaer Polytechnic Institute

Composition Inference for UML Class Diagrams Ana Milanova
Ownership and Immutability Inference for UML-based Object Access Control Department of Computer Science
Parameterized Object Sensitivity for Points-to Analysis for Java
Precise Identification of Composition Relationships for UML Class Diagrams
Robustness Testing of Java Server Applications Chen Fu, Ana Milanova, Member, IEEE Computer Society,
Static Analysis for Inference of Explicit Information Flow Rensselaer Polytechnic Institute
Precise Call Graphs for C Programs with Function Pointers Ana Milanova (milanova@cs.rpi.edu)
Points-to Analysis for Java Using Annotated Constraints Atanas Rountev Ana Milanova Barbara G. Ryder
Precise Call Graph Construction in the Presence of Function Pointers Ana Milanova Atanas Rountev Barbara G. Ryder
Towards Effective Inference and Checking of Ownership Types
On Optimality of Ownership Type Inference Wei Huang and Ana Milanova
Static Dominance Inference Ana Milanova1
Static Analysis for Understanding Shared Objects in Open Concurrent Java Programs
Static Information Flow Analysis with Handling of Implicit Flows and A Study on Effects of Explicit Flows vs Implicit Flows
Static Ownership Inference for Reasoning Against Concurrency Errors Ana Milanova
Static Inference of Universe Types Ana Milanova
Fragment Class Analysis for Testing of Polymorphism in Java Software
Fragment Class Analysis for Testing of Polymorphism in Java Software Atanas Rountev
Parameterized Object Sensitivity for Points-to and Side-Effect Analyses for Java
Constructing Precise Object Relation Diagrams Ana Milanova Atanas Rountev Barbara G. Ryder
Light Context-Sensitive Points-to Analysis for Java Ana Milanova
Annotated Inclusion Constraints for Precise Flow Analysis Ana Milanova
Testing of Java Web Services for Robustness Chen Fu Barbara G. Ryder
Practical Static Analysis for Inference of Security-Related Program Properties Department of Computer Science
Static Analysis for Dynamic Coupling Measures Yin Liu Ana Milanova
Static Object Race Detection Ana Milanova and Wei Huang