FOREST: An Interactive Multi-tree Synthesizer for Regular Expressions.

Margarida Ferreira, Miguel Terra-Neves, Miguel Ventura, Ins Lynce, Ruben Martins

Browse the full TACAS paper archive.