Search
Add filters:
Use filters to refine the search results.
Item hits:
Issue Date | Title | Author(s) |
---|---|---|
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 |
2014 | Combining centralised and distributed testing | Hierons, RM |
2016 | Hardness of deriving invertible sequences from finite state machines | Hierons, RM; Mousavi, MR; Thomsen, MK; Türker, UC |
2018 | Smart Contracts Vulnerabilities: A Call for Blockchain Software Engineering? | Destefanis, G; Marchesi, M; Ortu, M; Tonelli, R; Bracciali, A; Hierons, RM |
2010 | Checking experiments for stream X-machines | Hierons, RM |
2011 | Oracles for distributed testing | Hierons, RM |
2011 | Automated metamorphic testing on the analyses of feature models | Segura, S; Hierons, RM; Benavides, D; Ruiz-Cortes, A |
Discover
Subject