Harnessing Static Analysis to Help Learn Pseudo-Inverses of String Manipulating Procedures for Automatic Test Generation.

Oren Ish-Shalom, Shachar Itzhaky, Roman Manevich, Noam Rinetzky

Browse the full VMCAI paper archive.