Download: PDF.
“Extending dynamic constraint detection with disjunctive constraints” by Nadya Kuzmina, John Paul, Ruben Gamboa, and James Caldwell. In WODA 2008: Workshop on Dynamic Analysis, (Seattle, WA, USA), July 2008, pp. 57-63.
The languages of current dynamic constraint detection techniques are often specified by fixed grammars of universal properties. These properties may not be sufficient to express more subtle facts that describe the essential behavior of a given program. In an effort to make the dynamically recovered specification more expressive and program-specific we propose the state space partitioning technique as a solution which effectively adds program-specific disjunctive properties to the language of dynamic constraint detection. In this paper we present ContExt, a prototype implementation of the state space partitioning technique which relies on Daikon for dynamic constraint inference tasks.
In order to evaluate recovered specifications produced by ContExt, we develop a methodology which allows us to measure quantitatively how well a particular recovered specification approximates the essential specification of a program's behavior. The proposed methodology is then used to comparatively evaluate the specifications recovered by ContExt and Daikon on two examples.
Download: PDF.
BibTeX entry:
@inproceedings{KuzminaPGC2008,
author = {Nadya Kuzmina and John Paul and Ruben Gamboa and James Caldwell},
title = {Extending dynamic constraint detection with disjunctive
constraints},
booktitle = {WODA 2008: Workshop on Dynamic Analysis},
pages = {57--63},
address = {Seattle, WA, USA},
month = jul,
year = {2008}
}