Two complementary approaches to test robustness of reactive systems (Invited paper)

Publication
17th IEEE International Conference on Automation, Quality and Testing, Robotics AQTR 2010