• Publications
  • Influence
On Minimizing the Lengths of Checking Sequences
A general model for constructing minimal length checking sequences employing a distinguishing sequence is proposed. The model is based on characteristics of checking sequences and a set of stateExpand
  • 118
  • 17
A Temporal Logic Based Theory of Test Coverage and Generation
This paper presents a theory of test coverage and generation from specifications written in EFSMs. We investigate a family of coverage criteria based on the information of control flow and data flowExpand
  • 167
  • 7
Formal methods for test sequence generation
  • H. Ural
  • Computer Science
  • Comput. Commun.
  • 1 June 1992
Abstract Six formal methods and their enhancements for generating test sequences from FSM-based specifications are reviewed. These methods are: the Transition Tour (T) method; the DistinguishingExpand
  • 93
  • 7
Reduced Length Checking Sequences
Here, the method proposed by Ural, Wu and Zhang (1997) for constructing minimal-length checking sequences based on distinguishing sequences is improved. The improvement is based on optimizations ofExpand
  • 87
  • 7
Data flow testing as model checking
This paper presents a model checking-based approach to dataflow testing. We characterize dataflow oriented coverage criteria in temporal logic such that the problem of test generation is reduced toExpand
  • 124
  • 7
A test sequence selection method for protocol testing
A method for automated selection of test sequences from a protocol specification given in Estelle for the purpose of testing both control and data flow aspects of a protocol implementation isExpand
  • 100
  • 6
A test sequence selection method for statecharts
SUMMARY This paper presents a method for the selection of test sequences from statecharts. It is shown that a statechart can be transformed into a flow graph modelling the flow of both control andExpand
  • 70
  • 5
Optimizing the length of checking sequences
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 has no more states than theExpand
  • 90
  • 5
Model-based regression test suite generation using dependence analysis
A regression test suite (RTS) is constructed to ensure that the changed parts of the system under test (SUT) behave as desired and that the unchanged parts of the SUT are not adversely affected.Expand
  • 55
  • 4
Synchronizable test sequences based on multiple UIO sequences
A test sequence generation method is proposed for testing the conformance of a protocol implementation to its specification in a remote testing system where both external synchronization andExpand
  • 51
  • 3