Coverage-Driven Verification: An Approach to Verify Code for Robots that Directly Interact with Humans

Dejanira Araiza-Illan, David Western, Anthony Pipe, Kerstin Eder*

*Corresponding author for this work

Research output: Chapter in Book/Report/Conference proceedingConference Contribution (Conference Proceeding)

18 Citations (Scopus)
317 Downloads (Pure)

Fingerprint

Dive into the research topics of 'Coverage-Driven Verification: An Approach to Verify Code for Robots that Directly Interact with Humans'. Together they form a unique fingerprint.

Computer Science