The FAtiMA Toolkit (https://fatima-toolkit.eu/) has now a REST interface to support the integration with FormalZ and Code Defenders. This facilitates the creation of characters for the two games to create…

To assess the IMPRESS results, they are being used in class. The following describes an experience report based on a study carried out during the course Software Testing & Verification…

This release provides the following improvements: Puzzle modeIntent collectionKillmap generation and handling in admin viewTweaks to the code validity checksVarious UI improvementsPlenty of bug fixes

Software testing is an essential skill for software developers, but it is challenging to get students engaged in this activity. The Code Defenders game addresses this problem by letting students…

This release provides the following improvements: Fixes to handling of dependency classesFixes to handling of classes in packagesInclude pending equivalences in mutant listUsability improvementsImprovements to admin interface during game setupVarious…

This release provides the following improvements: Fixed mutant highlighting, and other minor UI improvementsSecurity and bug fixesInitial support for dependency classesInitial support for seeded tests/mutantsExtended analytics (killmaps, csv export)

This release provides the following improvements: Basic analytics on users in admin viewLayout fixesScalable Docker containerSelenium system tests running in Docker container

It is challenging to teach software testing in a way that is engaging for students, and to ensure that they practice effective testing sufficiently. Code Defenders is an educational game…