Pex4Fun: A webbased environment for educational gaming via automated test generation (2013)

by N Tillmann, J de Halleux, T Xie, J Bishop
Venue:In Proc. the 28th Int. Conf. Automated Software Engineering