1. Brunel University Research Archive

Search


Current filters:
Start a new search
Add filters:

Use filters to refine the search results.

 | 
Results 61-70 of 81 (Search time: 0.017 seconds).
Item hits:
Issue DateTitleAuthor(s)
2005Improved test quality using robust unique input/output circuit sequences (UIOCs)Guo, Q; Hierons, RM; Harman, M; Derderian, K
2005Static program slicing algorithms are minimal for free liberal program schemasDanicic, S; Fox, CJ; Harman, M; Hierons, RM; Howroyd, J; Laurence, MR
2008Checking sequences for distributed test architecturesHierons, RM; Ural, H
2008Verdict functions in testing with a fault domain or test hypothesesHierons, RM
2009Overcoming controllability problems with fewest channels between testersHierons, RM; Ural, H
2010Generating feasible transition paths for testing from an extended finite state machine (EFSM) with the counter problemKalaji, AS; Hierons, RM; Swift, S
2009Testing timed systems modeled by stream X-machinesMerayo, MG; Núñez, M; Hierons, RM
2004Testability transformationHarman, M; Hu, L; Hierons, RM; Wegener, J; Sthamer, H; Baresel, A; Roper, M
2009Mutation testing from probabilistic and stochastic finite state machinesHierons, RM; Merayo, MG
2010A trajectory-based strict semantics for program slicingBarraclough, RW; Binkley, D; Danicic, S; Harman, M; Hierons, RM; Kiss, A; Laurence, MR; Ouarbya, L

Discover