FormalZ presentation at CSEET 2020 ONLINE

Post author:Tanja Vos
Post published:November 11, 2020
Post category:News
Post comments:0 Comments

@WishnuPrasetya presenting FormalZ @CSEETconf online! More details of FormalZ can be found on our website: https://t.co/GOHz6aftqr pic.twitter.com/gI1f2fTSre
— IMPRESS (@projectIMPRESS) November 11, 2020

Leave a Reply Cancel reply

projectIMPRESS
@projectIMPRESS

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

3 weeks 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 weeks ago
projectIMPRESS
@projectIMPRESS

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

2 months ago
projectIMPRESS
@projectIMPRESS

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

2 months ago
projectIMPRESS
@projectIMPRESS

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

2 months ago
projectIMPRESS
@projectIMPRESS

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

2 months ago
projectIMPRESS
@projectIMPRESS

https://t.co/CBuNFhKP6D https://t.co/CwvyXk5VmF

2 months ago
projectIMPRESS
@projectIMPRESS

https://t.co/AVoEKpuJ0V https://t.co/oZCCsmYLYY

2 months ago
projectIMPRESS
@projectIMPRESS

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

2 months ago
projectIMPRESS
@projectIMPRESS

RT @GAIPSLab: Here is the video presentation of the paper: https://t.co/DguNuj787I

2 months ago

You Might Also Like

X BRAZILIAN CONFERENCE ON SOFTWARE: THEORY AND PRACTICE

An Experience Report on Using FormalZ in a Class

Version 1.4 of Code Defenders has been released!

Leave a Reply Cancel reply