TestEd 2020
Wed 28 Oct 2020 Porto, Portugal
co-located with ICST 2020
Wed 28 Oct 2020 14:30 - 14:45 at Arrábida - Session II

Writing formal specifications is a useful skill for students to develop and to grow a positive mindset towards it. Unfortunately this is hampered by the stereotyping of formal method as dry and boring. In this short paper we discuss our experience in using of a computer game called FormalZ as an attempt to introduce some fun in teaching the skill. Two setups are discussed: as an embedded part of a course, and as a loose tutorial, after which we will conclude with the lessons learned.

Wed 28 Oct

Displayed time zone: Lisbon change

14:00 - 14:45
Session IITestEd 2020 at Arrábida
14:00
15m
Talk
How to Teach Software Testing? Experiences with a Sandwich Approach
TestEd 2020
Leen Lambers Hasso-Plattner-Institut, Universität Potsdam
Link to publication DOI
14:15
15m
Talk
A Case-based Approach for introducing Testing Tools and Principles
TestEd 2020
Frédéric Dadeau Univ. Bourgogne Franche-Comté FEMTO-ST Institute/DISC, CNRS, Besançon, Jean-Philippe Gros , Fabien Peureux Institut FEMTO-ST (UMR CNRS 6174) and Smartesting S&S
Link to publication DOI
14:30
15m
Talk
Can Learning Formal Specification Be Fun? - Experience and Perspective
TestEd 2020
Wishnu Prasetya Utrecht University, Craig Leek Utrecht University, Roan Oosenbrug Utrecht University, Petar Kostic Utrecht University, Mike de Vries Utrecht University
Link to publication DOI