Harnessing static analysis to help learn pseudo-inverses of string manipulating procedures for automatic test generation

DOI10.1007/978-3-030-39322-9_9OpenAlexW3000322700MaRDI QIDQ784127

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

Publication date: 5 August 2020

Full work available at URL: https://doi.org/10.1007/978-3-030-39322-9_9

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Uses Software

• z3
• LLVM
• KLEE
• HAMPI
• LRinv