Brunel University Research Archive(BURA) preserves and enables easy and open access to all
types of digital content. It showcases Brunel's research outputs.
Research contained within BURA is open access, although some publications may be subject
to publisher imposed embargoes. All awarded PhD theses are also archived on BURA.
Browsing by Author Nunez, M
Showing results 1 to 12 of 12
Issue Date | Title | Author(s) |
2017 | Bounded reordering in the distributed test architecture | Merayo, MG; Nunez, M |
2016 | Controllability through nondeterminism in distributed testing | Hierons, RM; Merayo, MG; Nunez, M |
2016 | An extended framework for passive asynchronous testing | Hierons, RM; Merayo, MG; Nunez, M |
2008 | Extending stream X-machines to specify and test systems with timeouts | Merayo, MG; Hierons, RM; Nunez, M |
22-Mar-2017 | Implementation relations and probabilistic schedulers in the distributed test architecture | Hierons, RM; Nunez, M |
2017 | Passive Testing with Asynchronous Communications and Timestamps | Merayo, MG; Hierons, RM; Nunez, M |
2011 | Scenarios-based testing of systems with distributed ports | Hierons, RM; Merayo, MG; Nunez, M |
2009 | Simulation relations for systems with distributed interfaces | Hierons, RM; Nunez, M |
2008 | Testing from a stochastic timed system with a fault model | Hierons, RM; Merayo, MG; Nunez, M |
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 |