Harnessing Static Analysis to Help Learn Pseudo-Inverses of String Manipulating Procedures for Automatic Test Generation
Abstract elided by the publisher.
Related papers
- Automatic program inversion using symbolic transducers PLDI 2017
- A decision procedure for subset constraints over regular languages PLDI 2009
- Modular Static Analysis of String Manipulations in C Programs SAS 2018
- Static Analysis of String Manipulations in Critical Embedded C Programs SAS 2006
- Decision procedures for path feasibility of string-manipulating programs with complex operations POPL 2019
- DART: directed automated random testing PLDI 2005
- Data-Parallel String-Manipulating Programs POPL 2015
- Random testing of a higher-order blockchain language (experience report) ICFP 2022