Work

Coverage-Driven Verification —

Year: 2015

Type: conference-paper

Source: Lecture notes in computer science

DOI: 10.1007/978-3-319-26287-1_5

Authors: Dejanira Araiza-Illan, David Western, Anthony Pipe, Kerstin Eder

Institutions: University of Bristol, Bristol Robotics Laboratory, University of the West of England

Language: English

Topic: Software Testing and Debugging Techniques

Subfield: Software

Field: Computer Science

Domain: Physical Sciences

Open Access status: green

Funder: Engineering and Physical Sciences Research Council

Awards: Trustworthy Robotic Assistants, Trustworthy Robotic Assistants, G5488838052, G6151639182

OpenAlex ID: W4298314852

FWCI: 1.024

Cites: 25

Cited by: 13

Related to: 10