Mining and Checking Object Behavior
by
Valentin Dallmeier
Universität des Saarlandes, August 2010.
Abstract
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
@phdthesis{dallmeier-phd-2010, title = "Mining and Checking Object Behavior", author = "Valentin Dallmeier", year = "2010", month = aug, location = "D--66123 Saarland, Germany", school = "Universität des Saarlandes", }