ccT on Stage: Generalised Uniform Equivalence Testing for Verifying Student Assignment Solutions.

Johannes Oetsch Martina Seidl Hans Tompits Stefan Woltran ccT on Stage: Generalised Uniform Equivalence Testing for Verifying Student Assignment Solutions. 382-395 2009 LPNMR http://dx.doi.org/10.1007/978-3-642-04238-6_32 conf/lpnmr/2009 db/conf/lpnmr/lpnmr2009.html#OetschSTW09