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

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

Authors: Oren Ish-Shalom, Shachar Itzhaky, Roman Manevich, 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

This page was built for publication: Harnessing static analysis to help learn pseudo-inverses of string manipulating procedures for automatic test generation

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q784127)