Add to ORKGAbstract. This paper discusses the use of formal methods in testing of concurrent systems. It is argued that formal methods and testing can be mutually profitable and useful. A framework for testing based on formal specifications is presented. This framework is elaborated for labelled transition systems, providing formal definitions of conformance, test execution and test derivation. A test derivation algorithm is given and its tool implementation is briefly discussed.
Although testing is the most widely used technique to control the quality of software systems, it is...
Verification of programs through the use of formal methods have become popular as it can guarantee t...
This paper provides a comprehensive introduction to a framework for formal testing using labelled tr...
This paper discusses the use of formal methods in testing of concurrent systems. It is argued that f...
The use of formal system specifications makes it possible to automate the derivation of test cases f...
International audience—This extended abstract takes advantage of a theory of software testing based ...
This paper studies the problem of testing concurrent systems considered as blackboxes and specified ...
Complex systems are everywhere and are part of our daily life. As a conse-quence, their failures can...
Submitted to a journal.Abstract. We propose a theoretical testing framework and a test generation al...
This paper studies the problem of testing distributed software systems consisting of concurrent unit...
This thesis examines applying formal methods to software testing. Software testing is a critical pha...
Abstract. The article presents an approach to model based testing of complex systems based on a gene...
Although testing is the most widely used technique to control the quality of software systems, it is...
Formal methods and testing are two important approaches that assist in the development of high-quali...
Formal methods and testing are two important approaches that assist in the development of high-quali...
Although testing is the most widely used technique to control the quality of software systems, it is...
Verification of programs through the use of formal methods have become popular as it can guarantee t...
This paper provides a comprehensive introduction to a framework for formal testing using labelled tr...
This paper discusses the use of formal methods in testing of concurrent systems. It is argued that f...
The use of formal system specifications makes it possible to automate the derivation of test cases f...
International audience—This extended abstract takes advantage of a theory of software testing based ...
This paper studies the problem of testing concurrent systems considered as blackboxes and specified ...
Complex systems are everywhere and are part of our daily life. As a conse-quence, their failures can...
Submitted to a journal.Abstract. We propose a theoretical testing framework and a test generation al...
This paper studies the problem of testing distributed software systems consisting of concurrent unit...
This thesis examines applying formal methods to software testing. Software testing is a critical pha...
Abstract. The article presents an approach to model based testing of complex systems based on a gene...
Although testing is the most widely used technique to control the quality of software systems, it is...
Formal methods and testing are two important approaches that assist in the development of high-quali...
Formal methods and testing are two important approaches that assist in the development of high-quali...
Although testing is the most widely used technique to control the quality of software systems, it is...
Verification of programs through the use of formal methods have become popular as it can guarantee t...
This paper provides a comprehensive introduction to a framework for formal testing using labelled tr...