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 Software testing
Showing results 1 to 13 of 13
Issue Date | Title | Author(s) |
2012 | The complexity of asynchronous model based testing | Hierons, RM |
2018 | Effect of Time-pressure on Perceived and Actual Performance in Functional Software Testing | Salman, I; Turhan, B |
2007 | Heuristics for fault diagnosing when testing from finite state machines | Guo, Q; Hierons, RM; Harman, M; Derderian, K |
2013 | Implementation relations for testing through asynchronous channels | Hierons, RM |
2015 | A more precise implementation relation for distributed testing | Hierons, RM |
2014 | On the role of tests in test-driven development: a differentiated and partial replication | Fucci, D; Turhan, B |
2009 | Overcoming controllability problems with fewest channels between testers | Hierons, RM; Ural, H |
2012 | Software engineering: Testing real-time embedded systems using timed automata based approaches | Abou Trab, Mohammad |
2012 | Squeeziness: An information theoretic measure for avoiding fault masking | Clark, D; Hierons, RM |
2009 | A testability transformation approach for state-based programs | Kalaji, AS; Hierons, RM; Swift, S |
2008 | Testing a deterministic implementation against a non-controllable non-deterministic stream X-machine | Hierons, RM; Ipate, F |
2008 | Testing from a stochastic timed system with a fault model | Hierons, RM; Merayo, MG; Nunez, M |
2008 | Using status messages in the distributed test architecture | Hierons, RM |