Compact Symbolic Execution

DOI10.1007/978-3-319-02444-8_15zbMath1410.68088arXiv1201.4715OpenAlexW7061239MaRDI QIDQ5166689

Jan Strejček, Jiri Slaby, Marek Trtík

Publication date: 8 July 2014

Published in: Automated Technology for Verification and Analysis (Search for Journal in Brave)

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

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (1)

Backward symbolic execution with loop folding

This page was built for publication: Compact Symbolic Execution