Dynamically discovering likely interface invariants

Download: PDF.

``Dynamically discovering likely interface invariants'' by Christoph Csallner and Yannis Smaragdakis. In Proc. 28th ACM/IEEE International Conference on Software Engineering (ICSE), Emerging Results Track, May 2006, pp. 861-864.

Abstract

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{csallner06dynamically,
   author = {Christoph Csallner and Yannis Smaragdakis},
   title = {Dynamically discovering likely interface invariants},
   booktitle = {Proc. 28th ACM/IEEE International Conference on Software
	Engineering (ICSE), Emerging Results Track},
   pages = {861--864},
   publisher = {ACM},
   month = may,
   year = {2006}
}

Copyright notice: This material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All persons copying this information are expected to adhere to the terms and constraints invoked by each author s copyright. In most cases, these works may not be reposted without the explicit permission of the copyright holder.

Back to Christoph Csallner. This page was generated with bibtex2web.