| Synthesis of on-line planning tester for non-deterministic EFSM models | 1 | 0.37 | 2010 |
| Synthesis of test purpose directed reactive planning tester for nondeterministic systems | 3 | 0.41 | 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 |
