AutoBayes is a program synthesis for the domain of statistical data analysis. Stratego/XT is used in combination with AutoBayes to (1) provide concrete syntax for schemas used in synthesis and (2) to optimize synthesized programs.

• http://ase.arc.nasa.gov/autobayes/ : AutoBayes website, including webinterface
• PrologTools : used to provide concrete syntax for schemas.
• Paper: Retrofitting the AutoBayes Program Synthesis System with Concrete Syntax