Showing results 3 to 14 of 14
< previous
Issue Date | Title | Author(s) |
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 |
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 |
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 |
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 |