Back to Search Start Over

Combining Test Case Generation with Run-time Verification

Authors :
Artho, Cyrille
Barringer, Howard
Goldberg, Allen
Havelund, Klaus
Khurshid, Sarfraz
Lowry, Mike
Pasareanu, Corina
Roşu, Grigore
Sen, Koushik
Visser, Willem
Washington, Rich
Publication Year :
2005

Abstract

QC 20170104

Subjects

Subjects :
Datavetenskap (datalogi)
Computer Sciences

Details

Language :
English
Database :
OpenAIRE
Accession number :
edsair.dedup.wf.001..48999aea07a4a8bef8ea8dc4dd533421

Tools

Authors Abstract Subjects Details