Wishnu Prasetya, Author at Impress Project

An Experience Report on Using FormalZ in a Class

Post author:Wishnu Prasetya
Post published:July 15, 2019
Post category:News

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…

projectIMPRESS
@projectIMPRESS
The ERASMUS+ IMPRESS project has ended. We have created 3 tools to engage students more in Software Engineering Edu… https://t.co/XT2a6npP8W

4 years ago
projectIMPRESS
@projectIMPRESS
RT @imartinezortiz: Wooh! congrats @Synpheros @WishnuPrasetya @e_ucm @projectIMPRESS https://t.co/rdfhRHpOc3

4 years ago
projectIMPRESS
@projectIMPRESS
RT @imartinezortiz: Although @projectIMPRESS is almost finished, we are still working on it. @e_ucm and @WishnuPrasetya got a paper… https://t.co/0U9p3XaZFX

4 years ago
projectIMPRESS
@projectIMPRESS
Code Defenders! IMPRESS worked on making software testing education more IMPRESSive and entertaining! Learn about i… https://t.co/HHtLmFLh1k

4 years ago
projectIMPRESS
@projectIMPRESS
The QuizzTool from IMPRESS enables teachers to add and search questions to generate Quizzes. Presented by @RitoSilva https://t.co/bwSur2eOq3

4 years ago
projectIMPRESS
@projectIMPRESS
Playing Code Defenders with the participants from @CSEETconf. Fighting over equivalent mutants! https://t.co/gGET94CHAX

4 years ago
projectIMPRESS
@projectIMPRESS
Code defenders as extended by the IMPRESS project explained by @thegordonfraser @CSEETconf 2020 online edition. https://t.co/UpXMczj0rZ

4 years ago
projectIMPRESS
@projectIMPRESS
https://t.co/CBuNFhKP6D https://t.co/CwvyXk5VmF

4 years ago
projectIMPRESS
@projectIMPRESS
https://t.co/AVoEKpuJ0V https://t.co/oZCCsmYLYY

4 years ago
projectIMPRESS
@projectIMPRESS
RT @imartinezortiz: @tanja_vos presenting the main goals of @projectIMPRESS at #CSEET2020 https://t.co/UR5sZtTE3x

4 years ago