Nikolai Tillmann, Jonathan de Halleux, Tao Xie, Judith Bishop
Pex4Fun: A web-based environment for educational gaming via automated test generation
ASE, 2013.
@inproceedings{ASE-2013-TillmannHXB,
author = "Nikolai Tillmann and Jonathan de Halleux and Tao Xie and Judith Bishop",
booktitle = "{Proceedings of the 28th IEEE/ACM International Conference on Automated Software Engineering}",
doi = "10.1109/ASE.2013.6693144",
pages = "730--733",
publisher = "{IEEE}",
title = "{Pex4Fun: A web-based environment for educational gaming via automated test generation}",
year = 2013,
}