Mathias Soeken is working on formal verification of UML/OCL models used as specification in the design of embedded systems as well as on reversible logic and quantum computation.
Talks I've Given
Towards Automatic Scenario Generation Based on Uncovered Code
Featuring Melanie Diepenbeck and Mathias Soeken
Following the behavior driven development (BDD) methodology thoroughly, one would expect 100% code coverage, since code is only written to make the tests pass. Based on this assumption Melanie and Mathias have investigated BDD-driven projects and found out that this is not the case.cucumber bdd
BDD for Embedded System Design
Featuring Mathias Soeken and Melanie Diepenbeck
We are currently evolving the BDD flow for the design of embedded systems. Automatic extraction of step definitions and code stubs is performed using natural language processing techniques. In addition, a method has been developed to extract properties suitable for formal verification from test...bdd cucumber