Harnessing static analysis to help learn pseudo-inverses of string manipulating procedures for automatic test generation
type: Item
instance of: scholarly article
title: Harnessing static analysis to help learn pseudo-inverses of string manipulating procedures for automatic test generation
DOI: 10.1007/978-3-030-39322-9_9
author: Oren Ish-Shalom
author: Shachar Itzhaky
author: Roman Manevich
author: Noam Rinetzky
publication date: 2020-08-05T00:00:00Z
Mathematics Subject Classification ID: 68Q60
zbMATH DE Number: 7228507
describes a project that uses: LLVM
describes a project that uses: KLEE
describes a project that uses: LRinv
describes a project that uses: z3
describes a project that uses: HAMPI
MaRDI profile type: Publication
full work available at URL: 978-3-030-39322-9 9
OpenAlex ID: W3000322700
description: scientific article; zbMATH DE number 7228507