Code Hunt is a serious gaming platform for coding contests and practicing programming skills. It is based on the symbolic white box execution engine, Pex. Code Hunt is unique as an online coding platform in that each puzzle is presented with test cases only, no specification. Players have to first work out the pattern and then code the answer. Code Hunt has been used by over 350,000 players as of
![Code Hunt - Microsoft Research](https://cdn-ak-scissors.b.st-hatena.com/image/square/074d084ea58ba54c83a6421b5c526458c36a183b/height=288;version=1;width=512/https%3A%2F%2Fwww.microsoft.com%2Fen-us%2Fresearch%2Fwp-content%2Fuploads%2F2015%2F02%2FCode-Hunt-51.2.jpg)