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

J. Oetsch, M. Seidl, H. Tompits, S. Woltran:
"ccT on Stage: Generalised Uniform Equivalence Testing for Verifying Student Assignment Solutions";
Vortrag: 10th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2009), Potsdam; 14.09.2009 - 18.09.2009; in:"Logic Programming and Nonmonotonic Reasoning", E. Erdem, F. Lin, T. Schaub (Hrg.); Springer, 5753 (2009), ISBN: 978-3-642-04237-9; S. 382 - 395.

[ Publication Database ]