Master of Logic (MoL) Series

MoL-2009-15:
Floor Sietsma A Case Study in Formal Testing and an Algorithm for Automatic Test Case Generation with Symbolic Transition Systems
1.Full Text, 2.Abstract.