A Holistic Approach to Test-Driven Model Checking

Testing is the most common validation method in the soft ware in dustry. It entails the execu tion of the software system in the real envi ron ment. Nevertheless, testing is a cost-in tensive process. Be cause of its conceptual simplicity the combination of formal methods and test methods has been w...

Ausführliche Beschreibung

Bibliographische Detailangaben

Hauptverfasser:	Belli, Fevzi, Güldali, Baris
Format:	Tagungsbericht
Sprache:	eng
Schlagworte:	Applied sciences Artificial intelligence Computer science control theory systems Exact sciences and technology Generate Test Case Holistic Approach Linear Temporal Logic Model Check System Under Test
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!