8 papers:
ASE-2014-TillmannHX #automation #generative #testing- Transferring an automated test generation tool to practice: from pex to fakes and code digger (NT, JdH, TX), pp. 385–396.
ISSTA-2014-TillmannHXB- Constructing coding duels in Pex4Fun and code hunt (NT, JdH, TX, JB), pp. 445–448.
- ASE-2013-TillmannHXB #automation #education #game studies #generative #named #testing
- Pex4Fun: A web-based environment for educational gaming via automated test generation (NT, JdH, TX, JB), pp. 730–733.
CSEET-2012-TillmannHXB #education #game studies #learning #named #social- Pex4Fun: Teaching and Learning Computer Science via Social Gaming (NT, JdH, TX, JB), pp. 90–91.
- CSEET-2011-TillmannHX #education #game studies #learning #named #social
- Pex4Fun: Teaching and learning computer science via social gaming (NT, JdH, TX), pp. 546–548.
ICSE-2011-XiaoXTH11a #identification #named #precise #problem- Covana: precise identification of problems in pex (XX, TX, NT, JdH), pp. 1004–1006.
TAP-2008-HalleuxT #testing- Parameterized Unit Testing with Pex (JdH, NT), pp. 171–181.
- TAP-2008-TillmannH #dot-net #generative #testing
- Pex-White Box Test Generation for .NET (NT, JdH), pp. 134–153.
