Dies ist ein Archiv des alten Softwaretechnik Lehrstuhls der Universität des Saarlandes. Es ist nicht länger aktuell.


Mining object usage models

Lehrstuhl für Softwaretechnik (Prof. Zeller)
Universität des Saarlandes – Informatik
Informatik Campus des Saarlandes
Campus E9 1 (CISPA)
66123 Saarbrücken
E-mail: zeller @ cs.uni-saarland.de
Telefon: +49 681 302-70970

Deutschsprachige Startseite Page d'acceuil en franšais English home page

Mining Object Usage

For programs, common behavior is often correct behavior. We capture such behavior by analyzing programs. The results are abstract models that we use for program understanding and debugging.

Our experiments for model mining currently focus on Java: we analyze Java programs on the bytecode level and build models, which are serialized when the analyzer exits.

Building Models

Watch Macromedia Flash animations and images about mining object usage models. They illustrate, how the models are created, how temporal properties are extracted from them and how those properties are then used to automatically find defects.

Mining Object Behavior Models
Building object usage models (0.6 MB)
Extracting Temporal Properties
Extracting temporal properties (0.7 MB)
Finding Defects
Finding defects (0.8 MB)

Download JADET

  • Note: Please note that the JADET tool comes without support and has been tested only on Mac.
  • Download the Object usage models extracter tool.
  • Download the JADET tool.
  • Download the HowTo sample file.


  • Andrzej Wasylkowski, Andreas Zeller: Mining Operational Preconditions Technical Report (updated), 2008.[PDF]
  • Andrzej Wasylkowski, Andreas Zeller, Christian Lindig: Detecting Object Usage Anomalies. 6th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE 2007), Cavtat near Dubrovnik, Croatia, September 2007.[DOI]
  • Andrzej Wasylkowski: Mining Object Usage Models (Doctoral Symposium). 29th International Conference on Software Engineering (ICSE 2007), Minneapolis, MN, USA, May 2007. [DOI]

Contact us

Below you can find links to people working on mining object usage models. Please contact us for questions, rants, and raves.

Impressum Datenschutzerklärung

<webmaster@st.cs.uni-saarland.de> · http://www.st.cs.uni-saarland.de/models/jadet/index.php3 · Stand: 2018-04-05 13:41