Add to ORKGIn this position paper we propose an overall methodology for specification-based testing that is founded on a formal model of component systems. We motivate the importance of clearly defined description techniques and cover their role with respect to techniques for the generation and validation of test cases
International audienceIn this paper, we pursue our works on generic modeling and testing of componen...
This paper discusses the use of formal methods in testing of concurrent systems. It is argued that f...
Testing is basically a way of finding out that error or bug is present or not in the given module or...
In this position paper we propose an overall methodology for specification-based testing that is fou...
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...
This paper presents a formal methodology for test generation from formal specifications. Our method ...
Associated research group: Critical Systems Research GroupThis position paper discusses a framework ...
This paper introduces an initial account of a formal methodology for specification-based black-box v...
International audience—This extended abstract takes advantage of a theory of software testing based ...
This thesis examines applying formal methods to software testing. Software testing is a critical pha...
Software testing consumes a large percentage of total software development costs. Yet, it is still u...
Formal methods and testing are two important approaches that assist in the development of high quali...
A software development process is effectively an abstract form of model transformation, starting fro...
The use of formal system specifications makes it possible to automate the derivation of test cases f...
International audienceIn this paper, we pursue our works on generic modeling and testing of componen...
This paper discusses the use of formal methods in testing of concurrent systems. It is argued that f...
Testing is basically a way of finding out that error or bug is present or not in the given module or...
In this position paper we propose an overall methodology for specification-based testing that is fou...
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...
This paper presents a formal methodology for test generation from formal specifications. Our method ...
Associated research group: Critical Systems Research GroupThis position paper discusses a framework ...
This paper introduces an initial account of a formal methodology for specification-based black-box v...
International audience—This extended abstract takes advantage of a theory of software testing based ...
This thesis examines applying formal methods to software testing. Software testing is a critical pha...
Software testing consumes a large percentage of total software development costs. Yet, it is still u...
Formal methods and testing are two important approaches that assist in the development of high quali...
A software development process is effectively an abstract form of model transformation, starting fro...
The use of formal system specifications makes it possible to automate the derivation of test cases f...
International audienceIn this paper, we pursue our works on generic modeling and testing of componen...
This paper discusses the use of formal methods in testing of concurrent systems. It is argued that f...
Testing is basically a way of finding out that error or bug is present or not in the given module or...