A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf
.
Eight years of experience in test generation from FDTs using TVEDA
[chapter]
1997
Formal Description Techniques and Protocol Specification, Testing and Verification
This paper relates France Telecom experience with automatic test generation from FDT. We describe our approach and the evolution of tools and practice over 8 years. Both technical and non-technical causes for evolution are analysed. We provide data on two dozens of industrial applications of FDT-based test generation in our organization.
doi:10.1007/978-0-387-35271-8_29
fatcat:ib2uxphogrcqhehheq6bcp6u3i