Brunel University Research Archive: Search

Search

Results 21-30 of 76 (Search time: 0.008 seconds).

Item hits:

Issue Date	Title	Author(s)
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
2004	Loop squashing transformations for amorphous slicing	Hu, L; Harman, M; Hierons, RM; Binkley, D
2007	A meta-analysis approach to refactoring and XP	Counsell, S; Hierons, RM; Loizou, G
2009	A search-based approach for automatic test generation from extended finite state machine (EFSM)	Kalaji, AS; Hierons, RM; Swift, S
2008	Extending stream X-machines to specify and test systems with timeouts	Merayo, MG; Hierons, RM; Nunez, M
2002	A post-placement side-effect removal algorithm	Harman, M; Hu, L; Hierons, RM; Munro, M; Zhang, X; Dolado, JJ; Otero, MC; Wegener, J
2009	Estimating the feasibility of transition paths in extended finite state machines	Derderian, K; Hierons, RM; Harman, M; Guo, Q
2009	Checking sequence construction using adaptive and preset distinguishing sequences	Hierons, RM; Jourdan, GV; Ural, H; Yenigun, H
2000	ConSIT: A conditioned program slicer	Danicic, S; Fox, C; Harman, M; Hierons, RM