Browsing by Author Nunez, M

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 11 of 11
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
2017Implementation relations and probabilistic schedulers in the distributed test architectureHierons, RM; Nunez, M
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
2009Simulation relations for systems with distributed interfacesHierons, RM; Nunez, M
2008Testing from a stochastic timed system with a fault modelHierons, RM; Merayo, MG; Nunez, M
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