Fault-based Test Case Generation for Component Connectors

Bernhard Aichernig, Farhad Arbab, Lacramioara Astefanoaei, Frank S. de Boer, Meng Sun, Jan Rutten

Institut für Softwaretechnologie (7160)

Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung

1 Ergebnisse

Laufend
Formale Methoden
Lucas, P., Lorber, F. L., Jöbstl, E. & Aichernig, B.
1/01/95 → …
Projekt: Arbeitsgebiet