Campus Event Calendar
Event Entry
What and Who
Dynamic Invariants via Model Mining
Prof. Andreas Zeller
Ringvorlesung
AG 1, AG 2, AG 3, AG 4, AG 5
AG Audience
Note: We use this to send email in the morning.
Date, Time and Location
Thursday, 15 December 2005
13:00
-- Not specified --
45 - FR 6.2 (E1 3)
016
Saarbrücken
Abstract
"Understanding what a program does can be a difficult task. Our "model mining" approach extracts _finite state automata_
from program runs - automata which characterize invariants of object behavior: "A Java Vector object has an empty and a
non-empty state (isEmpty() and ! isEmpty()); using add() and remove(), one can switch between these states." Such models
can be used as a starting point for documentation and specification; they can also be used to detect anomalies in program
runs as well as failure-prone code changes or code smells."
Andreas Zeller is computer science professor at Saarland University; he researches large programs and their history. His
book "Why programs fail" is now available from Morgan Kaufmann.
from program runs - automata which characterize invariants of object behavior: "A Java Vector object has an empty and a
non-empty state (isEmpty() and ! isEmpty()); using add() and remove(), one can switch between these states." Such models
can be used as a starting point for documentation and specification; they can also be used to detect anomalies in program
runs as well as failure-prone code changes or code smells."
Andreas Zeller is computer science professor at Saarland University; he researches large programs and their history. His
book "Why programs fail" is now available from Morgan Kaufmann.
Contact
--email hidden
passcode not visible
logged in users only
Veronika Weinand, 12/12/2005 17:38
Veronika Weinand, 10/19/2005 13:11
Veronika Weinand, 10/19/2005 13:08 -- Created document.
Veronika Weinand, 10/19/2005 13:11
Veronika Weinand, 10/19/2005 13:08 -- Created document.