<XML><RECORDS><RECORD><REFERENCE_TYPE>3</REFERENCE_TYPE><REFNUM>8253</REFNUM><AUTHORS><AUTHOR>Donaldson,A.F.</AUTHOR><AUTHOR>Miller,A.</AUTHOR></AUTHORS><YEAR>2006</YEAR><TITLE>Evaluating a Formal Methods Technique via Student Assessed Exercises</TITLE><PLACE_PUBLISHED>Proceedings of the Workshop on Formal Methods in the Teaching Lab (FM-Ed 2006)</PLACE_PUBLISHED><PUBLISHER>N/A</PUBLISHER><PAGES>63-74</PAGES><LABEL>Donaldson:2006:8253</LABEL><KEYWORDS><KEYWORD>Evaluation</KEYWORD></KEYWORDS<ABSTRACT>We present a case study in evaluating a formal methods technique, using student assessed exercise solutions as sample input to SymmExtractor, a symmetry detection tool for the SPIN model checker. We discuss the ethical procedure which must be followed when using student programs for research, and present the results of our evaluation.</ABSTRACT></RECORD></RECORDS></XML>