Matthias Gemmar

Publication Activity (10 Years)

Years Active: 2013-2016
Publications (10 Years): 2

Top Topics

Quality Assurance

Symbolic Execution

Top Venues

Publications

Dominik Holling, Alvin Stanescu, Kristian Beckers, Alexander Pretschner, Matthias Gemmar
Failure Models for Testing Continuous Controllers. ISSRE (2016)
Dominik Holling, Andreas Hofbauer, Alexander Pretschner, Matthias Gemmar
Profiting from Unit Tests for Integration Testing. ICST (2016)
Dominik Holling, Alexander Pretschner, Matthias Gemmar
8Cage: lightweight fault-based test generation for simulink. ASE (2014)
Alexander Pretschner, Dominik Holling, Robert Eschbach, Matthias Gemmar
A Generic Fault Model for Quality Assurance. MoDELS (2013)