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.
