Browsing by Author Merayo, MG
Showing results 10 to 14 of 14
< previous
Issue Date | Title | Author(s) |
---|---|---|
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 |
2014 | Timed Implementation Relations for the Distributed Test Architecture | Hierons, RM; Merayo, MG; Nunez, M |
2-Aug-2018 | A tool supported methodology to passively test asynchronous systems with multiple users | Merayo, MG; Hierons, RM; Nunez, M |
2013 | Using genetic algorithms to generate test sequences for complex timed systems | Nunez, A; Merayo, MG; Nunez, M; Hierons, RM |