The Brazilian Conference on Software: Theory and Practice (CBSoft) is an annual event promoted by the Brazilian Computer Society (SBC), aiming at promoting and encouraging the exchange of experiences among…
The IMPRESS Quizzes platform will be tested in the Software Architecture course at Instituto Superior Técnico https://fenix.tecnico.ulisboa.pt/disciplinas/ASof7/2019-2020/1-semestre this semestrer.
This new release provides the following improvements: - Duel mode has been removed, but it is now possible to join one's own multiplayer games as a player instead of observer…
The RAGE Analytics platform, one of the main results of the H2020 RAGE project (GitHub repository) has been extended to adequate its functionalities to the IMPRESS project needs. More precisely,…
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)