Search
Add filters:
Use filters to refine the search results.
Item hits:
Issue Date | Title | Author(s) |
---|---|---|
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 |
2004 | On the testability of SDL specifications | Kim, KH; Ural, H; Hierons, RM |
2006 | Separating sequence overlap for automated test sequence | Hierons, RM |
1998 | Adaptive testing of a deterministic implementation against a nondeterministic finite state machine | Hierons, RM |
2003 | Equivalence of conservative, free, linear program schemas is decidable | Laurence, MR; Danicic, S; Harman, M; Hierons, RM; Howroyd, J |