A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2011; you can also visit the original URL.
The file type is application/pdf
.
Synthesis of distributed testers from true-concurrency models of reactive systems
2003
Information and Software Technology
Automatic synthesis of test cases for conformance testing has been principally developed with the objective of generating sequential test cases. In the distributed system context, it is worth extending the synthesis techniques to the generation of multiple testers. We base our work on our experience in using modelchecking techniques, as successfully implemented in the TGV tool. Continuing the works of A. Ulrich and H. König, we propose to use a true-concurrency model based on graph unfolding.
doi:10.1016/s0950-5849(03)00061-2
fatcat:hu6gztmbcja4zmle62pai4ahum