Lehrstuhl für Softwaretechnik (Prof. Zeller)
Universität des Saarlandes – Informatik
Informatik Campus des Saarlandes
Campus E9 1 (CISPA)
E-mail: zeller @ cs.uni-saarland.de
Telefon: +49 681 302-70970
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.
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.
Below you can find links to people working on mining object usage models. Please contact us for questions, rants, and raves.<email@example.com> · http://www.st.cs.uni-saarland.de/models/jadet/index.php3 · Stand: 2018-04-05 13:41