Harnessing static analysis to help learn pseudo-inverses of string manipulating procedures for automatic test generation
scientific article; zbMATH DE number 7228507