Search


Current filters:

Start a new search
Add filters:

Use filters to refine the search results.


Results 41-50 of 61 (Search time: 0.005 seconds).
Item hits:
Issue DateTitleAuthor(s)
2011An integrated search-based approach for automatic testing from extended finite state machine (EFSM) modelsKalaji, AS; Hierons, RM; Swift, S
2011Semantic mutation testingClark, JA; Dan, H; Hierons, RM
2016A Suspension-Trace Semantics for CSPCavalcanti, A; Hierons, RM; Nogueira, S; Sampaio, A
2010A trajectory-based strict semantics for program slicingBarraclough, RW; Binkley, D; Danicic, S; Harman, M; Hierons, RM; Kiss, A; Laurence, MR; Ouarbya, L
2014Automated generation of computationally hard feature models using evolutionary algorithmsParejo, JA; Hierons, RM; Benavides, D; Ruiz-Cortés, A
2013Using genetic algorithms to generate test sequences for complex timed systemsNunez, A; Merayo, MG; Nunez, M; Hierons, RM
2011Do moods affect programmers' debug performance?Khan, IA; Brinkman, W-P; Hierons, RM
2013Verifying and comparing finite state machines for systems that have distributed interfacesHierons, RM
2014Timed Implementation Relations for the Distributed Test ArchitectureHierons, RM; Merayo, MG; Nunez, M
2013Amorphous slicing of extended finite state machinesAndroutsopoulos, K; Clark, D; Harman, M; Hierons, RM; Li, Z; Tratt, L