Duncan Clarke, Thierry JÚron, Vlad Rusu, and Elena Zinovieva. STG: a Symbolic Test Generation tool. In Tools and Algorithms for the Construction and Analysis of Systems (TACAS'02), pp. 470-475. LNCS 2280.  

Abstract

We report on a tool we have developed that implements conformance testing techniques to automatically derive symbolic tests cases from formal operational specifications. We demonstrate the application of the techniques and tools on a simple example and present case studies for the CEPS (Common Electronic Purse Specification) and for the file system of the 3GPP (3rd Generation Partnership Project) card.

  Full postscript text.