Search


Current filters:

Start a new search
Add filters:

Use filters to refine the search results.


Results 11-20 of 36 (Search time: 0.016 seconds).
Item hits:
Issue DateTitleAuthor(s)
2001Backward conditioning: A new program specialisation technique and its application to program comprehensionFox, C; Harman, M; Hierons, RM; Danicic, S
2004Loop squashing transformations for amorphous slicingHu, L; Harman, M; Hierons, RM; Binkley, D
2002A post-placement side-effect removal algorithmHarman, M; Hu, L; Hierons, RM; Munro, M; Zhang, X; Dolado, JJ; Otero, MC; Wegener, J
2009Estimating the feasibility of transition paths in extended finite state machinesDerderian, K; Hierons, RM; Harman, M; Guo, Q
2000ConSIT: A conditioned program slicerDanicic, S; Fox, C; Harman, M; Hierons, RM
2005Search-based amorphous slicingFatiregun, D; Harman, M; Hierons, RM
2003Unions of slices are not slicesDe Lucia, A; Harman, M; Hierons, RM; Krinke, J
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