%0 Conference Paper %1 conf/kbse/TillmannHXB13 %A Tillmann, Nikolai %A de Halleux, Jonathan %A Xie, Tao %A Bishop, Judith %B ASE %D 2013 %E Denney, Ewen %E Bultan, Tevfik %E Zeller, Andreas %I IEEE %K dblp %P 730-733 %T Pex4Fun: A web-based environment for educational gaming via automated test generation. %U http://dblp.uni-trier.de/db/conf/kbse/ase2013.html#TillmannHXB13

@inproceedings{conf/kbse/TillmannHXB13, added-at = {2014-01-16T00:00:00.000+0100}, author = {Tillmann, Nikolai and de Halleux, Jonathan and Xie, Tao and Bishop, Judith}, biburl = {https://www.bibsonomy.org/bibtex/2dd1eb73b926398440f4c0107d90ea4b5/dblp}, booktitle = {ASE}, crossref = {conf/kbse/2013}, editor = {Denney, Ewen and Bultan, Tevfik and Zeller, Andreas}, ee = {http://dx.doi.org/10.1109/ASE.2013.6693144}, interhash = {2750eb1f317b462f76595587feede245}, intrahash = {dd1eb73b926398440f4c0107d90ea4b5}, keywords = {dblp}, pages = {730-733}, publisher = {IEEE}, timestamp = {2015-04-28T10:03:18.000+0200}, title = {Pex4Fun: A web-based environment for educational gaming via automated test generation.}, url = {http://dblp.uni-trier.de/db/conf/kbse/ase2013.html#TillmannHXB13}, year = 2013 }