The Domain of Parametric Hypercubes for Static Analysis of Computer Games Software.
Giulia CostantiniPietro FerraraGiuseppe MaggioreAgostino CortesiPublished in: ICFEM (2013)
Keyphrases
- static analysis
- computer games
- source code
- dynamic analysis
- educational software
- video games
- game design
- regular expressions
- test suite
- abstract interpretation
- educational games
- game play
- domain experts
- software design
- serious games
- digital storytelling
- commercial games
- high level
- software development
- user interface
- relational databases