I am working with Dr. Ruben Gamboa on a project called Wyoming Programming Workbench (WPW). The project falls into the category of software engineering and aims at making software development process more efficient and enjoyable.

The main idea behind this project is to provide seamless integration between higher-level models, code, and test cases by automating as many of the tasks as possible. We are considering models specified in the Unified Modeling Language (UML) enhanced with constraints in Object Constraint Language (OCL).

I am looking into ways of automatically "recovering" a program's specification. It is easy to reverse engineer a program from its source code to produce a UML diagram. However, recovering the details that diagrams can not convey by themselves, such as limitations and constraints, is a challenging task. Michael Ernst developed a tool called Daikon which recovers "likely" invariants via dynamic analysis. The problem with such approach is that the output is "noisy" (contains a large number of false positives). We think that the combination of static and dynamic analysis will help to reduce the number of false positives in the output and will result in more accurate constraints. When integrated into Eclipse such a constraint detector can be used to enhance visual UML diagrams with constraints in an editable form.

Publications:

Teaching:

Resources