Browsing by Author Hierons, RM

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 105 to 124 of 157 < previous   next >
Issue DateTitleAuthor(s)
2010Reaching and distinguishing states of distributed systemsHierons, RM
2002Reduced length checking sequencesHierons, RM; Ural, H
2007Reducing the cost of applying adaptive test casesHierons, RM; Ural, H
2003Reformulating software engineering as a search problemClark, JA; Dolado, JJ; Harman, M; Hierons, RM; Jones, BE; Lumkin, M; Mitchell, B; Mancoridis, S; Rees, K; Roper, M; Shepperd, MJ
2016Resolving the Equivalent Mutant Problem in the Presence of Non-determinism and Coincidental CorrectnessPatel, K; Hierons, RM
2011Scenarios-based testing of systems with distributed portsHierons, RM; Merayo, MG; Nunez, M
2007Search algorithms for regression test case prioritizationLi, Z; Harman, M; Hierons, RM
2005Search-based amorphous slicingFatiregun, D; Harman, M; Hierons, RM
2009A search-based approach for automatic test generation from extended finite state machine (EFSM)Kalaji, AS; Hierons, RM; Swift, S
2010Search-based software engineering: A search-based approach for testing from extended finite state machine (EFSM) modelsKalaji, AbdulSalam
2009A search-based technique for testing from extended finite state machine modelKalaji, AS; Hierons, RM; Swift, S
2011Semantic mutation testingClark, JA; Dan, H; Hierons, RM
2006Separating sequence overlap for automated test sequenceHierons, RM
2009Simulation relations for systems with distributed interfacesHierons, RM; Nunez, M
2016SIP: Optimal Product Selection from Feature Models using Many-Objective Evolutionary OptimisationHierons, RM; Li, M; Liu, X; Segura, S; Zheng, W
2018Smart Contracts Vulnerabilities: A Call for Blockchain Software Engineering?Destefanis, G; Marchesi, M; Ortu, M; Tonelli, R; Bracciali, A; Hierons, RM
2008Software integration testing based on communication coverage criteria and partial model generationRobinson-Mallett, C; Hierons, RM; Poore, J; Liggesmeyer, P
2015Special issue on testing, analysis and debugging of concurrent programsFarchi, E; Hierons, RM; Lourenço, J
2012Squeeziness: An information theoretic measure for avoiding fault maskingClark, D; Hierons, RM
2005Static program slicing algorithms are minimal for free liberal program schemasDanicic, S; Fox, C; Harman, M; Hierons, RM; Howroyd, J; Laurence, MR