Work

100% Coverage for Safety-Critical Software – Efficient Testing by Static Analysis

Year: 2010

Type: conference-paper

Source: Lecture notes in computer science

DOI: 10.1007/978-3-642-15651-9_15

Authors: Daniel Kästner, Reinhold Heckmann, Christian Ferdinand

Institution: AbsInt (Germany)

Language: English

Topic: Safety Systems Engineering in Autonomy

Subfield: Safety, Risk, Reliability and Quality

Field: Engineering

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W1769695990

FWCI: 0.979

Cites: 28

Cited by: 1

Related to: 10