Combining test case generation and runtime verification: Abstract state machines and high-level system design and analysis

Combining test case generation and runtime verification: Abstract state machines and high-level system design and analysis

Gespeichert in:
Bibliographische Detailangaben
Veröffentlicht in:Theoretical computer science 2005, Vol.336 (2-3), p.209-234
Hauptverfasser: ARTHO, Cyrille, BARRINGER, Howard, WASHINGTON, Rich, GOLDBERG, Allen, HAVELUND, Klaus, KHURSHID, Sarfraz, LOWRY, Mike, PASAREANU, Corina, ROSU, Grigore, KOUSHIK SEN, VISSER, Willem
Format: Artikel
Sprache:eng
Schlagworte:
Applied sciences
Computer science
control theory
systems
Exact sciences and technology
General logic
Logic and foundations
Mathematical logic, foundations, set theory
Mathematics
Sciences and techniques of general use
Software
Software engineering
Online-Zugang:Volltext
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Zusammenfassung:
ISSN:0304-3975
1879-2294