ChainTracker: Towards a Comprehensive Tool for Building Code-Generation Environments. - Victor Guana; Kelsey Gaboriau; Eleni Stroulia (ICSME, 2014)