Conferences and Workshops




foto SWeissleder

Dr. Stephan Weißleder

During my PhD studies, I created some tools to test new ideas for test generation. Furthermore, Guido Wachsmuth, Daniel Sadilek, Markus Scheidgen, and me formed a research group that had several brainstorming sessions and provided implementations for some ideas. Some of these implementations are listed below. A few of them are still under development. If you are interested in working on one or more of these projects, just contact me.


  • ParTeG: The Partition Test Generator (ParTeG) automatically generates tests (JUnit, CppUnit, etc.) based on behavioral models. It supports test generation from UML state machines and activity diagrams. The idea of this tool is twofold: first, providing source code for an MBT tool for free usage and further development; second, deriving input partitions during test generation, which are used to derive boundary values for input data.
  • ConSequence: The Concatenator of Sequences (ConSequence) automatically generates tests based on the concatenation of sequence diagrams (representing single requirements) and state machines (representing complex system behavior). This approach allows to generate test cases that cover the behavior corresponding to system requirements.
  • Coverage Simulator: The Coverage Simulator is a test model transformator that can be used to simulate the satisfaction of strong coverage criteria by satisfying weaker coverage criteria on a transformed test model. This allows to use test generators that do not support a certain coverage criterion to generate test cases that satisfy this coverage criterion.
  • MMUnit: The MMUnit is a unit testing framework for testing metamodels. Test cases for meta models can be defined independently of the meta model under test. This allows to create the test cases when the meta model does not exist, yet, and to reuse them even if the meta model did change.