HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Author:Wishnu Prasetya

Publications
Having Fun in Learning Formal Specifications
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
Neural Networks as Artificial Specifications, Revisited
Wishnu Prasetya and Minh An Tran
EasyChair Preprint 811

Keyphrases

artificial 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.

Copyright © 2012-2025 easychair.org. All rights reserved.