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

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