Add to ORKGThis paper proposes a specification-based testing method for use in conjunction with the B method. The method aims to derive a set of legitimate class vectors from a B machine specification and it takes into account the structure and semantics of the latter. A procedure for test case generation is given. One advantage of the method is its potential to be integrated with the B method via its support tools
Abstract. Model-based testing (MBT) generates test cases by analysing a formal model of the system u...
This paper describes an automated approach to generating test cases for an object-oriented class. Th...
We propose a rule-based approach for transforming B ab-stract machines into UML diagrams. We believe...
This paper proposes a specification-based testing method for use in conjunction with the B method. T...
Model-based testing (MBT) is the process of generating test cases from specification models represen...
In this paper, we present an approach that combines specification-based testing and class testing. I...
This paper considers test case selection for programs whose specifications are expressed by Boolean ...
Previous work on generating state machines for the purpose of class testing has not been formally ba...
Model-based testing (MBT) is the process of generating test cases from specification models represen...
Automatic test case generations in a potentially effective technique for program testing, but it sti...
BZ-TESTING-TOOLS (BZ-TT) is a tool set for automated test case generation from B and Z specification...
We discuss a new testing process to generate test cases for object-oriented programs. We focus on cl...
BZ-TESTING-TOOLS (BZ-TT) is a tool set for automated test case generation from B and Z specification...
Test case generation can be represented as a model checking problem, such that model checking tools ...
Model Based Testing (MBT) enables automatic generation of test cases using models to specify the sys...
Abstract. Model-based testing (MBT) generates test cases by analysing a formal model of the system u...
This paper describes an automated approach to generating test cases for an object-oriented class. Th...
We propose a rule-based approach for transforming B ab-stract machines into UML diagrams. We believe...
This paper proposes a specification-based testing method for use in conjunction with the B method. T...
Model-based testing (MBT) is the process of generating test cases from specification models represen...
In this paper, we present an approach that combines specification-based testing and class testing. I...
This paper considers test case selection for programs whose specifications are expressed by Boolean ...
Previous work on generating state machines for the purpose of class testing has not been formally ba...
Model-based testing (MBT) is the process of generating test cases from specification models represen...
Automatic test case generations in a potentially effective technique for program testing, but it sti...
BZ-TESTING-TOOLS (BZ-TT) is a tool set for automated test case generation from B and Z specification...
We discuss a new testing process to generate test cases for object-oriented programs. We focus on cl...
BZ-TESTING-TOOLS (BZ-TT) is a tool set for automated test case generation from B and Z specification...
Test case generation can be represented as a model checking problem, such that model checking tools ...
Model Based Testing (MBT) enables automatic generation of test cases using models to specify the sys...
Abstract. Model-based testing (MBT) generates test cases by analysing a formal model of the system u...
This paper describes an automated approach to generating test cases for an object-oriented class. Th...
We propose a rule-based approach for transforming B ab-stract machines into UML diagrams. We believe...