@inproceedings{TUW-177143, author = {Oetsch, Johannes and Seidl, Martina and Tompits, Hans and Woltran, Stefan}, title = {ccT on Stage: Generalised Uniform Equivalence Testing for Verifying Student Assignment Solutions}, booktitle = {Logic Programming and Nonmonotonic Reasoning}, year = {2009}, editor = {Erdem, Esra and Lin, Fangzhen and Schaub, Torsten}, pages = {382--395}, publisher = {Springer}, address = {5753}, url = {http://publik.tuwien.ac.at/files/PubDat_177143.pdf}, isbn = {978-3-642-04237-9}, doi = {10.1007/978-3-642-04238-6}, note = {Vortrag: 10th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2009), Potsdam; 2009-09-14 -- 2009-09-18} }