Search
Add filters:
Use filters to refine the search results.
Results 1-8 of 8 (Search time: 0.01 seconds).
- previous
- 1
- next
Item hits:
Issue Date | Title | Author(s) |
---|---|---|
2011 | Scenarios-based testing of systems with distributed ports | Hierons, RM; Merayo, MG; Nunez, M |
2016 | An extended framework for passive asynchronous testing | Hierons, RM; Merayo, MG; Nunez, M |
2016 | Controllability through nondeterminism in distributed testing | Hierons, RM; Merayo, MG; Nunez, M |
2013 | Using genetic algorithms to generate test sequences for complex timed systems | Nunez, A; Merayo, MG; Nunez, M; Hierons, RM |
2014 | Timed Implementation Relations for the Distributed Test Architecture | Hierons, RM; Merayo, MG; Nunez, M |
2017 | Passive Testing with Asynchronous Communications and Timestamps | Merayo, MG; Hierons, RM; Nunez, M |
2-Aug-2018 | A tool supported methodology to passively test asynchronous systems with multiple users | Merayo, MG; Hierons, RM; Nunez, M |
22-Mar-2017 | Implementation relations and probabilistic schedulers in the distributed test architecture | Hierons, RM; Nunez, M |