Author:Wishnu PrasetyaPublications |
---|
Wishnu Prasetya, Craig Leek, Orestis Melkonian, Joris ten Tusscher, Jan van Bergen, Jasper Everink, Thomas van der Klis, Rick Meijerink, Roan Oosenbrug, Jelle Oostveen, Tijmen van den Pol and Wink van Zon EasyChair Preprint 814 | EasyChair Preprint 811 |
Keyphrasesartificial specification, automated oracles, gamification in teaching formal method, gamification in teaching software engineering, neural network for software testing, software testing, specification mining, teaching formal method. |
|