Search Results - "Hierons, R."

Outwith utopia by Hierons, R.

Get full text

OS expansion by Hierons, R., Blacklock, P., Brotherton, P.

Get full text

How did we do? An investigation into the suitability of patient questionnaires (PREMs and PROMs) in three primary care oral surgery practices by Gerrard, G., Jones, R., Hierons, R. J.

“…Key Points Suggests that patient reported outcome and experience measures can provide useful information to providers to improve both the quality of care…”
Get full text

An investigation into the variability of primary care oral surgery contracts and tariffs in England and Wales (2014/2015) by Hierons, R. J., Gerrard, G., Jones, R.

“…Key Points Discusses primary care oral surgery tariffs in England and Wales. Discusses contract types in primary care oral surgery in England and Wales…”
Get full text

Testability transformation by Harman, M., Hu, L., Hierons, R., Wegener, J., Sthamer, H., Baresel, A., Roper, M.

“…A testability transformation is a source-to-source transformation that aims to improve the ability of a given test generation method to generate test data for…”
Get full text

Generating a checking sequence with a minimum number of reset transitions by Hierons, R. M., Ural, H.

“…Given a finite state machine M , a checking sequence is an input sequence that is guaranteed to lead to a failure if the implementation under test is faulty…”
Get full text

Investigation of inhalational conscious sedation as a tool for reducing anxiety in adults undergoing exodontia by Hierons, R. J., Dorman, M. L., Wilson, K., Averley, P., Girdler, N.

“…Key Points Illustrates the use of the modified dental anxiety scale (MDAS) in a primary care oral surgery service. Highlights the value of nitrous oxide…”
Get full text

Oracles for Distributed Testing by Hierons, R. M.

“…The problem of deciding whether an observed behavior is acceptable is the oracle problem. When testing from a finite state machine (FSM), it is easy to solve…”
Get full text

Checking sequences for distributed test architectures by Hierons, R. M., Ural, H.

“…Controllability and observability problems may manifest themselves during the application of a checking sequence in a test architecture where there are…”
Get full text

Overcoming controllability problems with fewest channels between testers by Hierons, R.M., Ural, H.

“…When testing a system that has multiple physically distributed ports/interfaces it is normal to place a tester at each port. Each tester observes only the…”
Get full text

Using status messages in the distributed test architecture by Hierons, R.M.

“…If the system under test has multiple interfaces/ports and these are physically distributed then in testing we place a tester at each port. If these testers…”
Get full text

The Effect of the Distributed Test Architecture on the Power of Testing by Hierons, R. M., Ural, H.

“…There has been much interest in testing from finite-state machines (FSMs). If the system under test can be modelled by the (minimal) FSM N then testing from an…”
Get full text

Correction to "Reduced Length Checking Sequences" [Sep 02 93-99] by Hierons, R. M., Ural, H.

“…This paper describes corrections to a previous paper, Reduced Length Checking Sequences, that appeared in IEEE Transactions on Computers in 2002 (51 9,…”
Get full text

Testing conformance of a deterministic implementation against a non-deterministic stream X-machine by Hierons, R.M., Harman, M.

“…Stream X-machines are a formalisation of extended finite state machines that have been used to specify systems. One of the great benefits of using stream…”
Get full text

Reducing the cost of applying adaptive test cases by Hierons, R.M., Ural, H.

“…The testing of a state-based system may involve the application of a number of adaptive test cases. Where the implementation under test (IUT) is deterministic,…”
Get full text

Separating sequence overlap for automated test sequence generation by Hierons, R. M.

“…Finite state machines have been used to model a number of classes of system and there has thus been much interest in the automatic generation of test sequences…”
Get full text

Testing from a nondeterministic finite state machine using adaptive state counting by Hierons, R.M.

“…The problem of generating a checking experiment from a nondeterministic finite state machine has been represented in terms of state counting. However, test…”
Get full text

Applying adaptive test cases to nondeterministic implementations by Hierons, R.M.

Get full text

Optimizing the length of checking sequences by Hierons, R.M., Ural, H.

“…A checking sequence, generated from a finite state machine, is a test sequence that is guaranteed to lead to a failure if the system under test is faulty and…”
Get full text

Test and Production Classes of an Industrial C# System: A Refactoring and Fault Perspective by Gatrell, M., Counsell, S., Swift, S., Hierons, R. M., Liu, X.

“…In a unit testing environment, understanding the relationship between production classes and test classes has implications for overall maintenance and hence…”
Get full text