Search


Current filters:

Start a new search
Add filters:

Use filters to refine the search results.


Results 31-40 of 77 (Search time: 0.011 seconds).
Item hits:
Issue DateTitleAuthor(s)
2000ConSIT: A conditioned program slicerDanicic, S; Fox, C; Harman, M; Hierons, RM
2005Search-based amorphous slicingFatiregun, D; Harman, M; Hierons, RM
2002Expanding an extended finite state machine to aid testabilityHierons, RM; Kim, TH; Ural, H
2003Unions of slices are not slicesDe Lucia, A; Harman, M; Hierons, RM; Krinke, J
2004Testing from a nondeterministic finite state machine using adaptive state countingHierons, RM
2008Using formal methods to support testingHierons, RM; Bogdanov, K; Bowen, JP; Cleaveland, R; Derrick, J; Dick, JH; Gheorghe, M; Harman, M; Kapoor, K; Krause, P; Luettgen, G; Simons, AJH; Vilkomir, S; Woodward, M
2002VADA: A transformation-based system for variable dependence analysisHarman, M; Fox, C; Hierons, RM; Hu, L; Danicic, S; Wegener, J
2001Pre/post conditioned slicingHarman, M; Hierons, RM; Fox, C; Danicic, S; Howroyd, J
2004Evolving transformation sequences using genetic algorithmsFatiregun, D; Harman, M; Hierons, RM
2006The effectiveness of refactoring, based on a compatibility testing taxonomy and a dependency graphCounsell, S; Hierons, RM; Najjar, R; Loizou, G; Hassoun, Y