Pex for Fun: Engineering an Automated Testing Tool for Serious Games in Computer Science

[1]  Nikolai Tillmann,et al.  MSeqGen: object-oriented unit-test generation via mining source code , 2009, ESEC/SIGSOFT FSE.

[2]  James C. King,et al.  Symbolic execution and program testing , 1976, CACM.

[3]  Kent L. Beck,et al.  Test-driven Development - by example , 2002, The Addison-Wesley signature series.

[4]  Koushik Sen,et al.  DART: directed automated random testing , 2005, PLDI '05.

[5]  Nikolai Tillmann,et al.  Teaching and training developer-testing techniques and tool support , 2010, SPLASH/OOPSLA Companion.

[6]  Nikolai Tillmann,et al.  Parameterized unit tests , 2005, ESEC/FSE-13.