| || ||
I am a postdoc working in the Webmate Project at Saarland University. I have finished my PhD in 2010 and started working on test case generation for web applications. I am proud to announce that on November 26th 2012 the WebMate project has received an Exist Forschungstransfer startup grant.
WebMate is a tool for testing web applications. You can find more information about WebMate on the project page.
New: My thesis won the Ernst Denert Award for Software Engineering 2010. There is a press release that describes the prize.
My thesis introduces a novel approach to modeling the behavior
of programs at runtime. We leverage the structure of object-oriented
programs to derive models that describe the behavior of individual
objects. Our approach mines object behavior models, finite
state automata where states correspond to different states of an
object, and transitions are caused by method invocations. Such
models capture the effects of method invocations on an object's state.
To our knowledge, our approach is the first to combine the control-flow
with information about the values of variables. Our ADABU tool is able
to mine object behavior models from the executions of large interactive
To investigate the usefulness of our technique, we study two different applications
of object behavior models:
- Mining Specifications Many existing verification techniques are difficult
to apply because in practice the necessary
specifications are missing. We use ADABU to automatically mine specifications
from the execution of test suites. To enrich these specifications,
our TAUTOKO tool systematically generates test cases that exercise previously uncovered behavior.
Our results show that, when fed into a typestate verifier, such enriched specifications are
able to detect more bugs than the original versions.
- Generating Fixes We present PACHIKA, a tool to automatically generate possible
fixes for failing program runs. Our approach uses object behavior models to compare
passing and failing runs. Differences in the models both point to anomalies and
suggest possible ways to fix the anomaly. In a controlled experiment, PACHIKA
was able to synthesize fixes for real bugs mined from the history of two open-source projects.
The complete version of my thesis is available for download at the publication page.
You can find a list of my publications at the Publications Page.
Here is a list of projects I am involved in:
During office hours, you may either phone me (0681 302 - 70993) or pay me a visit in building E 1.1 room 4.06 . If I'm not physically available, just send an email to the address given at the top of this page.
<firstname.lastname@example.org> · http://www.st.cs.uni-saarland.de/~dallmeier/ · Updated: 2012-11-26 14:05
- WebMate: A project for testing web aplications. The project homepage is available here.
- Ample: A project for automatic defect localization of Java Programs. The project homepage is available here.
- Adabu: Mining models that describe the behavior of objects. The project homepage is available here.
- iBugs: Purpose of the iBugs project is to mine large numbers of bugs from a project's version history and provide compilable tests for all versions. The project homepage is available here here.
- Tautoko: Generating test cases to enhance object behavior models by mutating the regression test suite. The project homepage is available here.