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 (Third Generation
Partnership Project) card.