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


Model Mining

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

Model Mining

For programs, common behavior is often correct behavior. We have devised a number of approaches that capture behavior exhibited by programs written in Java. The results are abstract models that we use for program understanding and debugging.



    Uses dynamic analysis to mine object behavior models that represent the way objects' state changes when they are used as targets of method calls.


    Uses differences between program behavior exhibited in passing and failing runs to find classes that are likely defective.


    Automatically mines input grammars.

  • BOXMATE (since May 2015)

    Automatically mines behavior specification and sandboxes for Android apps.


    Uses static analysis to mine object usage models that represent the way objects are being used in a program.

  • API Birthmark

    Uses dynamic analysis to extract birthmarks, that capture instrinsic properties of a program, from program runs.


    Uses object behavior models to synthesize fixes.


    Test case generation for typestate mining.


    Combines traditional static analysis with model checking to come up with CTL specifications for methods.


  • Andrzej Wasylkowski, Andreas Zeller: Mining temporal specifications from object usage. 24th IEEE/ACM International Conference on Automated Software Engineering, Auckland, New Zealand, November 2009.
  • Valentin Dallmeier, Andreas Zeller, Bertrand Meyer: Generating Fixes from Object Behavior Anomalies 2009.[PDF]
  • 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]
  • Valentin Dallmeier, Christian Lindig, Andrzej Wasylkowski, Andreas Zeller: Mining Object Behavior with ADABU. Fourth International Workshop on Dynamic Analysis (WODA 2006), Neelam Gupta, Andy Podgurski (Eds.), Shanghai, China, May 2006. PDF
  • Valentin Dallmeier, Christian Lindig, Andreas Zeller: Lightweight Bug Localization with AMPLE (Demo Paper). Sixth International Symposium on Automated and Analysis-Driven Debugging, Jong Deok Choi and Raimondas Lencevicius (Eds.), pages 99-103, ACM Press, Monterey, CA, USA, September 2005. PDF
  • Valentin Dallmeier, Christian Lindig, Andreas Zeller: Evaluating a Lightweight Defect Localization Tool. PLDI Workshop on the Evaluation of Software Defect Detection Tools, 99--103, Chicago, June 2005. Proceedings were only distributed at the workshop. PDF
  • Valentin Dallmeier, Christian Lindig, Andreas Zeller: Lightweight Defect Localization for Java. Proceedings of 19th European Conference on Object-Oriented Programming, ECOOP 2005, Andrew P. Black (Ed.), pages 528--550, Lecture Notes in Computer Science 3586, Springer, Glasgow, UK, July 2005. PDF
  • Christian Lindig, Valentin Dallmeier, Andreas Zeller: 7th Workshop Software Reengineering: Lightweight Control-Flow Abstraction. Softwaretechnik-Trends, 41-42, (25) 2, Gesellschaft f├╝r Informatik, May 2005. PDF

Contact us

Below you can find links to the people working on model mining. 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/?lang=en · Stand: 2018-04-05 13:41