Download: PDF.
“Dynamically discovering likely interface invariants” by Christoph Csallner and Yannis Smaragdakis. In ICSE 2006, Proceedings of the 28th International Conference on Software Engineering, (Shanghai, China), May 2006, pp. 861-864. Emerging results track.
Dynamic invariant detection is an approach that has received considerable attention in the recent research literature. A natural question arises in languages that separate the interface of a code module from its implementation: does an inferred invariant describe the interface or the implementation? Furthermore, if an implementation is allowed to refine another, as, for instance, in object-oriented method overriding, what is the relation between the inferred invariants of the overriding and the overridden method? The problem is of great practical interest. Invariants derived by real tools, like Daikon, often suffer from internal inconsistencies when overriding is taken into account, becoming unsuitable for some automated uses. We discuss the interactions between overriding and inferred invariants, and describe the implementation of an invariant inference tool that produces consistent invariants for interfaces and overridden methods.
Download: PDF.
BibTeX entry:
@inproceedings{CsallnerS2006:ICSE,
author = {Christoph Csallner and Yannis Smaragdakis},
title = {Dynamically discovering likely interface invariants},
booktitle = {ICSE 2006, Proceedings of the 28th International
Conference on Software Engineering},
pages = {861--864},
address = {Shanghai, China},
month = may,
year = {2006},
note = {Emerging results track}
}