FORMT: Form-based Mutation Testing of Logical Specifications

The draft paper defines a system, which is capable of maintaining bases of test cases for logical specifications. The specifications, which are subject to this system are transformed from their original shape in first-order logic to form-based expressions as originally introduced in logics of George...

Ausführliche Beschreibung

Bibliographische Detailangaben

Hauptverfasser:	Faatz, Andreas, Zinnen, Andreas
Format:	Artikel
Sprache:	eng
Schlagworte:	Computer Science - Software Engineering
Online-Zugang:	Volltext bestellen
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!