Brunel University Research Archive: Search

Search

Results 1-10 of 81 (Search time: 0.016 seconds).

Item hits:

Issue Date	Title	Author(s)
2010	Canonical finite state machines for distributed systems	Hierons, RM
2008	Software integration testing based on communication coverage criteria and partial model generation	Robinson-Mallett, C; Hierons, RM; Poore, J; Liggesmeyer, P
2001	Testing a distributed system: Generating minimal synchronised test sequences that detect output-shifting faults	Hierons, RM
2003	Reformulating software engineering as a search problem	Clark, JA; Dolado, JJ; Harman, M; Hierons, RM; Jones, BE; Lumkin, M; Mitchell, B; Mancoridis, S; Rees, K; Roper, M; Shepperd, MJ
2003	A multiple hill climbing approach to software module clustering	Mahdavi, K; Harman, M; Hierons, RM
2001	Node coarsening calculi for program slicing	Harman, M; Hierons, RM; Danicic, S; Howroyd, J; Laurence, MR; Fox, C
2006	Automated unique input output sequence generation for conformance testing of FSMs	Derderian, K; Hierons, RM; Harman, M; Qiang, G
2007	A thread-tag based semantics for sequence diagrams	Dan, H; Hierons, RM; Counsell, S
2007	Equivalence of linear, free, liberal, structured program schemas is decidable in polynomial time	Danicic, S; Harman, M; Hierons, RM; Howroyd, J; Laurence, MR
2009	Simulation relations for systems with distributed interfaces	Hierons, RM; Nunez, M