Search
Add filters:
Use filters to refine the search results.
Item hits:
Issue Date | Title | Author(s) |
---|---|---|
2008 | Automatic generation of test sequences form EFSM models using evolutionary algorithms | Kalaji, AS; Hierons, RM; Swift, S |
2008 | Testing in the distributed test architecture: An extended abstract | Hierons, RM |
2015 | A methodology for validating cloud models using metamorphic testing | Nunez, A; Hierons, RM |
2016 | Resolving the Equivalent Mutant Problem in the Presence of Non-determinism and Coincidental Correctness | Patel, K; Hierons, RM |
2016 | Controllability through nondeterminism in distributed testing | Hierons, RM; Merayo, MG; Nunez, M |
2016 | Distinguishing Sequences for Distributed Testing: Preset Distinguishing Sequences | Hierons, RM; Turker, UC |
2012 | A framework for pathologies of message sequence charts | Dan, H; Hierons, RM; Counsell, S |
2014 | The oracle problem when testing from MSCs | Dan, H; Hierons, RM |
2017 | Parallel algorithms for generating distinguishing sequences for observable non-deterministic FSMs | Hierons, RM; Turker, UC |
2017 | How to manage a conference special issue | Hierons, RM |