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

Mining and Checking Object Behavior
by Valentin Dallmeier

Universitńt des Saarlandes, August 2010.

Download as PDF file.


My thesis introduces a novel approach to modeling the behavior of programs at runtime. We leverage the structure of object-oriented programs to derive models that describe the behavior of individual objects. Our approach mines object behavior models, finite state automata where states correspond to different states of an object, and transitions are caused by method invocations. Such models capture the effects of method invocations on an object's state. To our knowledge, our approach is the first to combine the control-flow with information about the values of variables. Our ADABU tool is able to mine object behavior models from the executions of large interactive java programs.

BibTeX Entry

    title = "Mining and Checking Object Behavior",
    author = "Valentin Dallmeier",
    year = "2010",
    month = aug,
    location = "D--66123 Saarland, Germany",
    school = "Universitńt des Saarlandes",

Show all publications of the Software Engineering Chair.