Model-based integration testing of ROS packages: A mobile robot case study | 1 | 0.36 | 2015 |
Model-Based Testing of Web Applications Using NModel | 13 | 0.91 | 2009 |
Formal Methods for Automated Diagnosis of Autosub 6000. | 0 | 0.34 | 2009 |
Synthesis of test purpose directed reactive planning tester for nondeterministic systems | 3 | 0.41 | 2007 |
State Isomorphism in Model Programs with Abstract Data Structures | 2 | 0.36 | 2007 |
Generating TTCN-3 Test Cases from EFSM Models of Reactive Software Using Model Checking | 0 | 0.34 | 2006 |
Generating tests from EFSM models using guided model checking and iterated search refinement | 5 | 0.43 | 2006 |
Memory arbiter synthesis and verification for a radar memory interface card | 5 | 0.50 | 2005 |