Search
Add filters:
Use filters to refine the search results.
Item hits:
Issue Date | Title | Author(s) |
---|---|---|
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 |
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 |
2014 | A new test framework for communications-critical large scale systems | Nabulsi, MA; 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 |