Concolic testing heap-manipulating programs

DOI10.1007/978-3-030-30942-8_27MaRDI QIDQ6535965zbMATHFDO

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

Publication date 14 March 2024

Mathematics Subject Classification ID

Data structures (68P05) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Logic in computer science (03B70)

Recommendations

• An SMT-based concolic testing tool for logic programs
• Abstraction-driven concolic testing
• Concolic testing in CLP
• A CLP heap solver for test case generation
• Enhancing symbolic execution of heap-based programs with separation logic for test input generation

Cites work

• scientific article; zbMATH DE number 1956607 (Why is no real title available?)
• scientific article; zbMATH DE number 2080058 (Why is no real title available?)
• A decidable fragment in separation logic with inductive predicates and arithmetic
• Automated verification of shape, size and bag properties via user-defined predicates in separation logic
• BI as an assertion language for mutable data structures
• Compositional shape analysis by means of bi-abduction
• Exact heap summaries for symbolic execution
• Frame inference for inductive entailment proofs in separation logic
• Satisfiability modulo heap-based programs
• Symbolic execution and program testing

This page was built for publication: Concolic testing heap-manipulating programs

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