Search Results - "Hierons, R.M."

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

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

Reduced length checking sequences by Hierons, R.M., Ural, H.

“…Here, the method proposed by Ural, Wu and Zhang (1997) for constructing minimal-length checking sequences based on distinguishing sequences is improved. The…”
Get full text

Search Algorithms for Regression Test Case Prioritization by Li, Z., Harman, M., Hierons, R.M.

“…Regression testing is an expensive, but important, process. Unfortunately, there may be insufficient resources to allow for the reexecution of all test cases…”
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

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

JPEG Steganography: A Performance Evaluation of Quantization Tables by Almohammad, A., Ghinea, G., Hierons, R.M.

“…The two most important aspects of any image based steganographic system are the imperceptibility and the capacity of the stego image. This paper evaluates the…”
Get full text

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

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

Using a minimal number of resets when testing from a finite state machine by Hierons, R.M.

Get full text

Testing a distributed system: generating minimal synchronised test sequences that detect output-shifting faults by Hierons, R.M.

“…A distributed system may have a number of separate interfaces called ports and in testing it may be necessary to have a separate tester at each port. This…”
Get full text

Guest Editorial by Derrick, J., Harman, M., Hierons, R.M.

Get full text

Overcoming observability problems in distributed test architectures by Chen, J., Hierons, R.M., Ural, H.

“…In distributed testing, a distributed test architecture is used where a tester is placed at each port of the system under test N and an input sequence is…”
Get full text

On the testability of SDL specifications by Hierons, R.M., Kim, T.-H., Ural, H.

“…The problem of testing from an SDL specification is often complicated by the presence of infeasible paths. This paper introduces an approach for transforming a…”
Get full text

Generating Feasible Transition Paths for Testing from an Extended Finite State Machine (EFSM) by Kalaji, A.S., Hierons, R.M., Swift, S.

“…The problem of testing from an extended finite state machine (EFSM) can be expressed in terms of finding suitable paths through the EFSM and then deriving test…”
Get full text

Testing a system specified using Statecharts and Z by Hierons, R.M, Sadeghipour, S, Singh, H

“…A hybrid specification language μSZ, in which the dynamic behaviour of a system is described using Statecharts and the data and the data transformations are…”
Get full text

Search-based amorphous slicing by Fatiregun, D., Harman, M., Hierons, R.M.

“…Amorphous slicing is an automated source code extraction technique with applications in many areas of software engineering, including comprehension, reuse,…”
Get full text

The precursor to an industrial software metrics program by Parkinson, S.T., Counsell, S., Norman, M., Hierons, R.M., Lycett, M.

“…A common reason for why software metric programs dasiafailpsila is through lack of participant support and commitment. In this paper, we describe the results…”
Get full text

Checking states and transitions of a set of communicating finite state machines by Hierons, R.M.

“…This paper considers the problem of testing to check the transitions of implementation I against those of a model M consisting of communicating finite state…”
Get full text