Combining test case generation and runtime verification

Thumbnail
Metadata only
Author
Artho, Cyrille
Barringer, Howard
Goldberg, Allen
Havelund, Klaus
Khurshid, Sarfraz
Lowry, Mike
Pasareanu, Corina
Rosu, Grigore
Sen, Koushik
Visser, Willem
Washington, Rich
Show all
Date
2005-05
Type
  • Journal Article
Publication status
published
External links
Search via SFX
Journal / series
Theoretical Computer Science
Volume
336(2-3)
Pages / Article No.
209 - 234
Publisher
Elsevier
Subject
automated testing; test case generation; model checking; symbolic execution; runtime verification; temporal logic; concurrency analysis; NASA rover controller
Notes
.
More
Show all metadata
Citations
Cited 29 times in Web of Science
ETH Bibliography
yes
Altmetrics