Brunel University Research Archive(BURA) preserves and enables easy and open access to all
types of digital content. It showcases Brunel's research outputs.
Research contained within BURA is open access, although some publications may be subject
to publisher imposed embargoes. All awarded PhD theses are also archived on BURA.
Browsing by Subject Verification
Showing results 1 to 7 of 7
| Issue Date | Title | Author(s) |
|---|---|---|
| 2006 | Avoiding coincidental correctness in boundary value analysis | Hierons, RM |
| 2002 | Comparing test sets and criteria in the presence of test hypotheses and fault domains | Hierons, RM |
| 2015 | Defining correctness conditions for concurrent objects in multicore architectures | Dongol, B; Derrick, J; Groves, L; Smith, G |
| 2017 | Mechanized proofs of opacity: A comparison of two techniques | Derrick, J; Doherty, S; Dongol, B; Schellhorn, G; Travkin, O; Wehrheim, H |
| 2017 | Parallel algorithms for generating distinguishing sequences for observable non-deterministic FSMs | Hierons, RM; Turker, UC |
| 2016 | Proving opacity of a pessimistic STM | Doherty, S; Dongol, B; Derrick, J; Schellhorn, G; Wehrheim, H |
| 2017 | Timed runtime monitoring for multiparty conversations | Neykova, R; Bocchi, L; Yoshida, N |