Add to ORKGThis paper presents a theory of test coverage and generation from specifications written in extended finite state machines (EFSMs). We investigate a family of coverage criteria based on the information of control flow and data flow in EFSMs and characterize them using the temporal logic CTL. We discuss the complexity of minimal cost test generation and describe a simple heuristic which uses the capability of model checkers to construct counterexamples. Our approach extends the range of applications of model checking from automatic verification of finite state systems to automatic test generation from finite state systems
AbstractThere has been a lot of research on testing based on formal specifications, especially in th...
Abstract: This paper presents a method for the application of model checking, i.e. verifying a finit...
Associated research group: Critical Systems Research GroupThe successful analysis technique model ch...
A Temporal Logic Based Theory of Test Coverage and Generation This paper presents a theory of test c...
This paper presents a theory of test coverage and generation from specifications written in extended...
This paper considers the specification-based testing in which the requirement is given in the linear...
AbstractModel-based testing automatically generates test cases from a model describing the behavior ...
ural @ site.uottawa.ca This paper presents a model checking-based approach to data flow testing. We ...
This article presents a method for the application of model checking, i.e., verifying a finite state...
In this paper we generate conformance test cases for a communication protocol modeled in an EFSM(Ext...
This paper presents a model checking-based approach to data flow testing. We characterize data flow ...
Finite state machine-based abstractions of software behaviour are popular because they can be used a...
Abstract—In this paper, we consider the problem of test derivation based on an Extended Finite State...
To plan testing activities, testers face the challenge of determining a strategy, including a test c...
Part 1: Model Based TestingInternational audienceThere exists a significant body of work in the theo...
AbstractThere has been a lot of research on testing based on formal specifications, especially in th...
Abstract: This paper presents a method for the application of model checking, i.e. verifying a finit...
Associated research group: Critical Systems Research GroupThe successful analysis technique model ch...
A Temporal Logic Based Theory of Test Coverage and Generation This paper presents a theory of test c...
This paper presents a theory of test coverage and generation from specifications written in extended...
This paper considers the specification-based testing in which the requirement is given in the linear...
AbstractModel-based testing automatically generates test cases from a model describing the behavior ...
ural @ site.uottawa.ca This paper presents a model checking-based approach to data flow testing. We ...
This article presents a method for the application of model checking, i.e., verifying a finite state...
In this paper we generate conformance test cases for a communication protocol modeled in an EFSM(Ext...
This paper presents a model checking-based approach to data flow testing. We characterize data flow ...
Finite state machine-based abstractions of software behaviour are popular because they can be used a...
Abstract—In this paper, we consider the problem of test derivation based on an Extended Finite State...
To plan testing activities, testers face the challenge of determining a strategy, including a test c...
Part 1: Model Based TestingInternational audienceThere exists a significant body of work in the theo...
AbstractThere has been a lot of research on testing based on formal specifications, especially in th...
Abstract: This paper presents a method for the application of model checking, i.e. verifying a finit...
Associated research group: Critical Systems Research GroupThe successful analysis technique model ch...