On the nature of symbolic execution

DOI10.1007/978-3-030-30942-8_6zbMATH Open1539.68052MaRDI QIDQ6535943

Frank S. de Boer, Marcello M. Bonsangue

Publication date: 14 March 2024

Mathematics Subject Classification ID

Theory of programming languages (68N15) Specification and verification (program logics, model checking, etc.) (68Q60)

Cites Work

• Title not available (Why is that?)
• A generic framework for symbolic execution: a coinductive approach
• Symbolic Memory with Pointers
• Symbolic execution and program testing
• Tools and Algorithms for the Construction and Analysis of Systems
• A Complete Guide to the Future

This page was built for publication: On the nature of symbolic execution

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