Constructing coding duels in Pex4Fun and code hunt.
Nikolai TillmannJonathan de HalleuxTao XieJudith BishopPublished in: ISSTA (2014)
Keyphrases
- symbolic execution
- static analysis
- source code
- error correcting
- error control
- coding scheme
- test generation
- test data generation
- coding method
- data flow
- logical operations
- specification language
- error correction
- computer games
- genetic programming
- object oriented
- case study
- regular expressions
- generation algorithm
- turbo codes
- open source
- artificial intelligence