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

Antoine Rollet, Sébastien Salva
May, 2008
PDF Cite
Type
1
Publication
17th IEEE International Conference on Automation, Quality and Testing, Robotics AQTR 2010