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. < Back
