Name
Title | Citations | PageRank | Year |
|---|---|---|---|
| Model Learning and Test Generation Using Cover Automata. | 0 | 0.34 | 2015 |
| Implementing Realistic Asynchronous Automata. | 3 | 0.38 | 2013 |
| Learn and test for event-b --- a rodin plugin | 3 | 0.39 | 2012 |
| Model learning and test generation for event-b decomposition | 3 | 0.42 | 2012 |
| Test Data Generation for Event-B Models Using Genetic Algorithms. | 1 | 0.35 | 2011 |