FormalZ and CodeDefenders presented at TestEd@ICST2020, 28 Oct 2020.

At 14:30, Wishnu Prasetya, Craig Leek, Roan Oosenbrug, Petar Kostic, Mike de Vries will present “Can Learning Formal Specification Be Fun? – Experience and Perspective”

16:15 – At 16:30, Gordon Fraser, Alessio Gambi and José Miguel Rojas will present “Teaching Software Testing with the Code Defenders Testing Game: Experiences and Improvements”

For the program, please look here:

Leave a Reply