Eight years of experience in test generation from FDTs using TVEDA [chapter]

Roland Groz, Nathalie Risser
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