This is an archive of the old software engineering chair at Saarland University. It is no longer up-to-date.

Mining object behavior with ADABU - WODA 2006
by Valentin Dallmeier, Christian Lindig, Andrzej Wasylkowski, Andreas Zeller

WODA 2006: Proceedings of the 2006 international workshop on Dynamic systems analysis, Pages 17-24, ACM, New York, NY, May 2006.

Digital Library via DOI: 10.1145/1138912.1138918 - Local copy: Download as PDF file.


To learn what constitutes correct program behavior, one can start with normal behavior. We observe actual program executions to construct state machines that summarize object behavior. These state machines, called object behavior models, capture the relationships between two kinds of methods: mutators that change the state (such as add()) and inspectors that keep the state unchanged (such as isEmpty()): "A Vector object initially is in isEmpty() state; after add(), it goes into not isEmpty() state". Our ADABU prototype for Java has successfully mined models of undocumented behavior from the AspectJ compiler and the Columba email client; the models tend to be small and easily understandable.

BibTeX Entry

    title = "Mining object behavior with ADABU",
    author = "Valentin Dallmeier and Christian Lindig and Andrzej Wasylkowski and Andreas Zeller",
    year = "2006",
    month = may,
    address = "New York, NY",
    booktitle = "WODA 2006: Proceedings of the 2006 international workshop on Dynamic systems analysis",
    location = "Shanghai, China",
    pages = "17--24",
    publisher = "ACM",
    doi = "10.1145/1138912.1138918",

Show all publications of the Software Engineering Chair.