Browsing by Author Merayo, MG

Jump to: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
or enter first few letters:  
Showing results 1 to 13 of 13
Issue DateTitleAuthor(s)
2017Bounded reordering in the distributed test architectureMerayo, MG; Nunez, M
2016Controllability through nondeterminism in distributed testingHierons, RM; Merayo, MG; Nunez, M
2016An extended framework for passive asynchronous testingHierons, RM; Merayo, MG; Nunez, M
2008Extending stream X-machines to specify and test systems with timeoutsMerayo, MG; Hierons, RM; Nunez, M
2012Implementation relations and test generation for systems with distributed interfacesHierons, RM; Merayo, MG; Núñez, M
2009Mutation testing from probabilistic and stochastic finite state machinesHierons, RM; Merayo, MG
2007Mutation testing from probabilistic finite state machinesHierons, RM; Merayo, MG
2017Passive Testing with Asynchronous Communications and TimestampsMerayo, MG; Hierons, RM; Nunez, M
2011Scenarios-based testing of systems with distributed portsHierons, RM; Merayo, MG; Nunez, M
2008Testing from a stochastic timed system with a fault modelHierons, RM; Merayo, MG; Nunez, M
2009Testing timed systems modeled by stream X-machinesMerayo, MG; Núñez, M; Hierons, RM
2014Timed Implementation Relations for the Distributed Test ArchitectureHierons, RM; Merayo, MG; Nunez, M
2013Using genetic algorithms to generate test sequences for complex timed systemsNunez, A; Merayo, MG; Nunez, M; Hierons, RM