Search


Current filters:
Start a new search
Add filters:

Use filters to refine the search results.


Results 41-50 of 143 (Search time: 0.024 seconds).
Item hits:
Issue DateTitleAuthor(s)
2014Combining centralised and distributed testingHierons, RM
2016Hardness of deriving invertible sequences from finite state machinesHierons, RM; Mousavi, MR; Thomsen, MK; Türker, UC
2018Smart Contracts Vulnerabilities: A Call for Blockchain Software Engineering?Destefanis, G; Marchesi, M; Ortu, M; Tonelli, R; Bracciali, A; Hierons, RM
2010Checking experiments for stream X-machinesHierons, RM
2011Oracles for distributed testingHierons, RM
2011Automated metamorphic testing on the analyses of feature modelsSegura, S; Hierons, RM; Benavides, D; Ruiz-Cortes, A
2004On the testability of SDL specificationsKim, KH; Ural, H; Hierons, RM
2006Separating sequence overlap for automated test sequenceHierons, RM
1998Adaptive testing of a deterministic implementation against a nondeterministic finite state machineHierons, RM
2003Equivalence of conservative, free, linear program schemas is decidableLaurence, MR; Danicic, S; Harman, M; Hierons, RM; Howroyd, J