|
Brunel University Research Archive (BURA) >
Browsing by Author Merayo, MG
Showing results 1 to 7 of 7
| Issue Date | Title | Author(s) | | 2008 | Extending stream X-machines to specify and test systems with timeouts | Merayo, MG; Hierons, RM; Nunez, M |
| 2012 | Implementation relations and test generation for systems with distributed interfaces | Hierons, RM; Merayo, MG; Núñez, M |
| 2009 | Mutation testing from probabilistic and stochastic finite state machines | Hierons, RM; Merayo, MG |
| 2007 | Mutation testing from probabilistic finite state machines | Hierons, RM; Merayo, MG |
| 2011 | Scenarios-based testing of systems with distributed ports | Hierons, RM; Merayo, MG; Nunez, M |
| 2008 | Testing from a stochastic timed system with a fault model | Hierons, RM; Merayo, MG; Nunez, M |
| 2009 | Testing timed systems modeled by stream X-machines | Merayo, MG; Núñez, M; Hierons, RM |
Showing results 1 to 7 of 7
|
