Efficient test-based model generation for legacy reactive systems
- Tiziana Margaria
- , Oliver Niese
- , Harald Raffelt
- , Bernhard Steffen
- University of Göttingen
- METAFrame Technologies GmbH
- Empolis GmbH
- TU Dortmund University
Research output: Contribution to journal › Conference article › peer-review