Search
Add filters:
Use filters to refine the search results.
Item hits:
Issue Date | Title | Author(s) |
---|---|---|
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 |
2005 | Search-based amorphous slicing | Fatiregun, D; Harman, M; Hierons, RM |
2002 | Expanding an extended finite state machine to aid testability | Hierons, RM; Kim, TH; Ural, H |
2003 | Unions of slices are not slices | De Lucia, A; Harman, M; Hierons, RM; Krinke, J |
2004 | Testing from a nondeterministic finite state machine using adaptive state counting | Hierons, RM |
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