Does this fault lead to failure? Combining refinement and input-output conformance checking in fault-oriented test-case generation.

Bernhard K. Aichernig, Elisabeth Jöbstl, Martin Tappler

Institut für Softwaretechnologie (7160)

Publikation: Beitrag in einer Fachzeitschrift › Artikel › Begutachtung

1 Ergebnisse

Abgeschlossen
TRUFAL - Trust via Failed Falsification of Complex Dependable Systems Using Automated Test-Case Generation through Model Mutation
Jöbstl, E. & Aichernig, B.
1/03/11 → 28/02/14
Projekt: Forschungsprojekt