Abstraction-driven Concolic Testing

DOI10.1007/978-3-662-49122-5_16zbMath1475.68079arXiv1511.02615OpenAlexW2160445528MaRDI QIDQ2796059

Ashutosh Gupta, Przemysław Daca, Thomas A. Henzinger

Publication date: 23 March 2016

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1511.02615

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (3)

Reusing predicate precision in value analysis ⋮ Information Exchange Between Over- and Underapproximating Software Analyses ⋮ Symbolic encoding of LL(1) parsing and its applications

This page was built for publication: Abstraction-driven Concolic Testing