Adabu is a tool that allows you to mine models of object behavior. 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 effects of method invocations on the state of an object. A call to add() on an empty Vector ensures that the Vector is non-empty afterwards, and hence the model has a transition from the empty to non-empty state labeled with add(). The ADABU tool for JAVA mines object behavior models from runs of Java programs.

Information on this site

On this site, you can download source and binary versions of Adabu, and take a look at the how-to which describes the usage of Adabu step-by-step.