Search


Current filters:

Start a new search
Add filters:

Use filters to refine the search results.


Results 1-10 of 77 (Search time: 0.024 seconds).
Item hits:
Issue DateTitleAuthor(s)
2001Checking states and transitions of a set of communicating finite state machinesHierons, RM
2008Software integration testing based on communication coverage criteria and partial model generationRobinson-Mallett, C; Hierons, RM; Poore, J; Liggesmeyer, P
2001Testing a system specified using Statecharts and ZHierons, RM; Sadeghipour, S; Singh, H
2001Testing a distributed system: Generating minimal synchronised test sequences that detect output-shifting faultsHierons, RM
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
2003UIO sequence based checking sequences for distributed test architecturesHierons, RM; Ural, H
2008The effect of the distributed test architecture on the power of testingHierons, RM; Ural, H
2003A multiple hill climbing approach to software module clusteringMahdavi, K; Harman, M; Hierons, RM
2001Node coarsening calculi for program slicingHarman, M; Hierons, RM; Danicic, S; Howroyd, J; Laurence, MR; Fox, C
2006Automated unique input output sequence generation for conformance testing of FSMsDerderian, K; Hierons, RM; Harman, M; Qiang, G