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.

Projects

  • ADABU

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

  • AMPLE

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

  • AUTOGRAM

    Automatically mines input grammars.

  • BOXMATE (since May 2015)

    Automatically mines behavior specification and sandboxes for Android apps.

  • JADET

    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.

  • PACHIKA

    Uses object behavior models to synthesize fixes.

  • TAUTOKO

    Test case generation for typestate mining.

  • TIKANGA

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

Papers

  • 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.

<webmaster@st.cs.uni-saarland.de> · http://www.st.cs.uni-saarland.de/models/ · Stand: 2017-01-03 21:10