Bug Hide-and-Seek: An Educational Game for Investigating Verification Accuracy in Software Tests.
Kevin BuffardiPedro ValdiviaPublished in: FIE (2018)
Keyphrases
- educational games
- software systems
- source code
- video games
- game design
- learning tools
- test cases
- software projects
- bug localization
- software evolution
- formal methods
- test suite
- user interface
- educational tools
- online game
- game play
- software components
- model checking
- game based learning
- development process
- software engineering
- test generation
- social media
- learning environment
- conducted an empirical study