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 5 to 13 of 13 < previous 
Issue DateTitleAuthor(s)
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