Enhancing Symbolic Execution of Heap-Based Programs with Separation Logic for Test Input Generation

DOI10.1007/978-3-030-31784-3_12zbMath1437.68044arXiv1712.06025MaRDI QIDQ3297594

Shengchao Qin, Jun Sun, Quang Loc Le, Quoc-Sang Phan, Long H. Pham

Publication date: 20 July 2020

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

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

Mathematics Subject Classification ID

03B70: Logic in computer science

68P05: Data structures

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

Related Items

StarFinder

Uses Software

• Java PathFinder
• TACO
• HIP
• GitHub
• JaCoCo
• JBSE