Brunel University Research Archive: Search

Search

Results 11-20 of 71 (Search time: 0.013 seconds).

Item hits:

Issue Date	Title	Author(s)
2008	Automatic generation of test sequences form EFSM models using evolutionary algorithms	Kalaji, AS; Hierons, RM; Swift, S
2008	Testing in the distributed test architecture: An extended abstract	Hierons, RM
2004	On the testability of SDL specifications	Kim, KH; Ural, H; Hierons, RM
2006	Separating sequence overlap for automated test sequence	Hierons, RM
2003	Equivalence of conservative, free, linear program schemas is decidable	Laurence, MR; Danicic, S; Harman, M; Hierons, RM; Howroyd, J
2008	Generating feasible transition paths for testing from an extended finite state machine (EFSM)	Kalaji, AS; Hierons, RM; Swift, S
2008	Practitioner-based measurement: a collaborative software measurement approach	Parkinson, ST; Hierons, RM; Lycett, M; Norman, M
2002	FORTEST: Formal methods and testing	Bowen, JP; Bogdanov, K; Clark, JA; Harman, M; Hierons, RM; Krause, P
2004	Amorphous procedure extraction	Harman, M; Binkley, D; Singh, R; Hierons, RM
2001	Backward conditioning: A new program specialisation technique and its application to program comprehension	Fox, C; Harman, M; Hierons, RM; Danicic, S