Showing results 23 to 42 of 157
< previous
next >
| Issue Date | Title | Author(s) |
| 2012 | The complexity of asynchronous model based testing | Hierons, RM |
| 2012 | Complexity of data dependence problems for program schemas with concurrency | Danicic, S; Hierons, RM; Laurence, MR |
| 2011 | Conformance relations for distributed testing based on CSP | Cavalcanti, A; Gaudel, MC; Hierons, RM |
| 2000 | ConSIT: A conditioned program slicer | Danicic, S; Fox, C; Harman, M; Hierons, RM |
| 2017 | Constraint-based oracles for timed distributed systems | Benharrat, N; Gaston, C; Hierons, RM; Lapitre, A; Le Gall, P |
| 2005 | Constructing multiple unique input/output sequences using metaheuristic optimisation techniques | Guo, Q; Hierons, RM; Harman, M; Derderian, K |
| 2005 | ConSUS: A light-weight program conditioner | Danicic, S; Daoudi, M; Fox, CJ; Harman, M; Hierons, RM; Howroyd, J; Ourabya, L; Ward, M |
| 2012 | Controllability problems in MSC-based testing | Dan, H; Hierons, RM |
| 2016 | Controllability through nondeterminism in distributed testing | Hierons, RM; Merayo, MG; Nunez, M |
| 2011 | Controllable testing from nondeterministic finite state machines with multiple ports | Hierons, RM |
| 2017 | Decidability and Complexity for Quiescent Consistency and its Variations | Dongol, B; Hierons, RM |
| 2011 | Decidability of strong equivalence for subschemas of a class of linear, free, near-liberal program schemas | Danicic, S; Hierons, RM; Laurence, MR |
| 2009 | Distinguishing Sequences for Distributed Testing: Adaptive Distinguishing Sequences | Hierons, RM; Turker, U |
| 2016 | Distinguishing Sequences for Distributed Testing: Preset Distinguishing Sequences | Hierons, RM; Turker, UC |
| 2014 | Distinguishing sequences for partially specified FSMs | Hierons, RM; Türker, UC |
| 2011 | Do moods affect programmers' debug performance? | Khan, IA; Brinkman, W-P; Hierons, RM |
| 2008 | The effect of the distributed test architecture on the power of testing | Hierons, RM; Ural, H |
| 2006 | The effectiveness of refactoring, based on a compatibility testing taxonomy and a dependency graph | Counsell, S; Hierons, RM; Najjar, R; Loizou, G; Hassoun, Y |
| 2010 | An empirical study of package coupling in Java open-source | Mubarak, Asma |
| 2003 | Equivalence of conservative, free, linear program schemas is decidable | Laurence, MR; Danicic, S; Harman, M; Hierons, RM; Howroyd, J |
