Work

Runtime Verification at Work: A Tutorial

Year: 2016

Type: conference-paper

Source: Lecture notes in computer science

DOI: 10.1007/978-3-319-46982-9_5

Authors: Philip Daian, Dwight Guth, Chris Hathhorn, Yilong Li, Edgar Pek, Manasvi Saxena, Traian Florin Şerbănuţă, Grigore Roşu

Institution: University of Illinois Urbana-Champaign

Language: English

Topic: Software Testing and Debugging Techniques

Subfield: Software

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W2523326849

FWCI: 0.803

Cites: 16

Cited by: 7

Related to: 10