@misc{14820, author = {Arnaud Gotlieb}, title = {Learning How to Test Robotic Systems}, year = {2017}, journal = {Simula-HiOA Seminar April 5th, Fornebu, Lysaker, Norway}, }