Constraints in dynamic symbolic execution: bitvectors or integers?

DOI10.1007/978-3-030-31157-5_3MaRDI QIDQ6536170zbMATH OpenFDO

Authors Timotej Kapus, Martin Nowack, Cristian Cadar

Publication date 5 April 2024

Mathematics Subject Classification ID

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

Recommendations

• Performance estimation using symbolic data
• Concolic execution in functional programming by program instrumentation
• Using static analysis to reduce dynamic analysis overhead
• Symbolic execution: A semantic approach
• Efficient loop navigation for symbolic execution

This page was built for publication: Constraints in dynamic symbolic execution: bitvectors or integers?

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