![]() |
JADET |
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 ![]() ![]() ![]() |
|||||
Mining Object UsageFor 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 ModelsWatch 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.
Download JADET
Papers
Contact usBelow 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?lang=en · Stand: 2018-04-05 13:41 |