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: https://conf.researchr.org/home/test-ed-2020#program