Search
Add filters:
Use filters to refine the search results.
Item hits:
Issue Date | Title | Author(s) |
---|---|---|
2004 | Loop squashing transformations for amorphous slicing | Hu, L; Harman, M; Hierons, RM; Binkley, D |
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 |
2000 | ConSIT: A conditioned program slicer | Danicic, S; Fox, C; Harman, M; Hierons, RM |
2005 | Search-based amorphous slicing | Fatiregun, D; Harman, M; Hierons, RM |
2003 | Unions of slices are not slices | De Lucia, A; Harman, M; Hierons, RM; Krinke, J |
2008 | Using formal methods to support testing | Hierons, 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 |
2002 | VADA: A transformation-based system for variable dependence analysis | Harman, M; Fox, C; Hierons, RM; Hu, L; Danicic, S; Wegener, J |
2001 | Pre/post conditioned slicing | Harman, M; Hierons, RM; Fox, C; Danicic, S; Howroyd, J |
2004 | Evolving transformation sequences using genetic algorithms | Fatiregun, D; Harman, M; Hierons, RM |
Discover
Subject