Pseudogen

SMT-based pseudo-code generator

try pseudogen (Unavailable now)

Papers

• Methods - IEEE/ACM ASE 2015 (PDF)
• Software - IEEE/ACM ASE 2015 (PDF)

Download pseudogen

• Pseudogen on GitHub

Download corpus

• English: Django (tar.gz)
• Japanese: Project Euler (tar.gz)