Showing results 33 to 52 of 157
< previous
next >
Issue Date | Title | Author(s) |
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 |
2007 | Equivalence of linear, free, liberal, structured program schemas is decidable in polynomial time | Danicic, S; Harman, M; Hierons, RM; Howroyd, J; Laurence, MR |
2009 | Estimating the feasibility of transition paths in extended finite state machines | Derderian, K; Hierons, RM; Harman, M; Guo, Q |
2002 | Evolutionary testing supported by slicing and transformation | Harman, M; Hu, L; Hierons, RM; Fox, C; Danicic, S; Wegener, J; Sthamer, H; Baresel, A |
2004 | Evolving transformation sequences using genetic algorithms | Fatiregun, D; Harman, M; Hierons, RM |
2002 | Expanding an extended finite state machine to aid testability | Hierons, RM; Kim, TH; Ural, H |
2010 | Exploring the eradication of code smells: An empirical and theoretical perspective | Counsell, S; Hierons, RM; Hamza, H; Black, S; Durrand, M |
2016 | An extended framework for passive asynchronous testing | Hierons, RM; Merayo, MG; Nunez, M |
2008 | Extending stream X-machines to specify and test systems with timeouts | Merayo, MG; Hierons, RM; Nunez, M |
2002 | FORTEST: Formal methods and testing | Bowen, JP; Bogdanov, K; Clark, JA; Harman, M; Hierons, RM; Krause, P |
2012 | A framework for pathologies of message sequence charts | Dan, H; Hierons, RM; Counsell, S |