Constraints in dynamic symbolic execution: bitvectors or integers?

DOI10.1007/978-3-030-31157-5_3zbMATH Open1539.68066MaRDI QIDQ6536170FDOQ6536170

Authors: Timotej Kapus, Martin Nowack, Cristian Cadar 

Publication date: 5 April 2024

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

Mathematics Subject Classification ID

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

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)