Model-Based Mutation Testing via Symbolic Refinement Checking

Bernhard Aichernig, Elisabeth Jöbstl, Stefan Tiran

Institut für Softwaretechnologie (7160)

Publikation: Beitrag in einer Fachzeitschrift › Artikel › Begutachtung

2 Ergebnisse

Abgeschlossen
EU - MBAT - Combined Model-based Analysis and Testing of Embedded Systems
Lorber, F. L., Tiran, S. & Aichernig, B.
1/11/11 → 31/10/14
Projekt: Forschungsprojekt
TRUFAL - [Original in Englisch: Trust via Failed Falsification of Complex Dependable Systems Using Automated Test-Case Generation through Model Mutation]
Jöbstl, E. & Aichernig, B.
1/03/11 → 30/06/14
Projekt: Forschungsprojekt