TY  - RPRT
TI  - Coverage-Driven Verification - An approach to verify code for robots that directly interact with humans
AU  - Dejanira Araiza-Illan
AU  - David Western
AU  - Anthony Pipe
AU  - Kerstin Eder
PY  - 2015
DO  - 10.1007/978-3-319-26287-1_5
UR  - https://arxiv.org/abs/1509.04852
ID  - 1509.04852
ER  -