Publications
by Nadya Kuzmina, John Paul, Ruben Gamboa and James Caldwell.
In Proceedings of the 6th International Workshop on Dynamic Analysis (WODA 2008).
Download: PDF
by John Paul, Nadya Kuzmina, Ruben Gamboa, and James Caldwell.
In Proceedings of the Sixth NASA Langley Formal Methods Workshop (LFM 2008) (Newport News, Virginia, USA),
May, 2008, pp. 33-35.
Download: PDF
by Nadya Kuzmina and Ruben Gamboa.
In Proceedings of the 5th International Workshop on Dynamic Analysis (WODA 2007).
Download: PDF
by Nadya Kuzmina and Ruben Gamboa.
In Object-Oriented Programming Systems, Languages, and Applications (OOPSLA 2006) Companion (Portland, OR, USA),
October 24-26, 2006, pp. 657-658. Poster.
Download: PDF
Talks
- Extending Dynamic Constraint Detection with Disjunctive Constraints.
Presented by Nadya Kuzmina at 6th International Workshop on Dynamic Analysis (WODA 2008).
Download: talk slides
- Toward a Formal Evaluation of Refactorings.
Presented by John Paul at Sixth NASA Langley Formal Methods Workshop (LFM 2008).
Download: talk slides
- Extending Dynamic Constraint Detection with Polymorphic Analysis.
Presented by Nadya Kuzmina at 5th International Workshop on Dynamic Analysis (WODA 2007).
Download: talk slides
- Dynamic Constraint Detection for Polymorphic Behavior.
Poster presentation by Nadya Kuzmina at Object-Oriented Programming Systems, Languages, and Applications (OOPSLA 2006).
Download: poster (to be added)