Symbolic execution formally explained

The work

TitleSymbolic execution formally explained
AuthorsFrank S. de Boer; Marcello M. Bonsangue
Typearticle
Year2021
Citekeyboer2021symbolic

Where it appeared

Published inFormal Aspects of Computing
Volume33
Issue4
Pages617--636

Copy held

KindPDF, 306.0 kB
Retrieved2026-08-08
Heldlocal, for personal reference

Where this came from

How it got herethe agent went looking · found via bibtex
First seen2026-08-05
Standingendorsed
Approved2026-08-08
In: Formal Aspects of Computing venue

Cite it as

@article{boer2021symbolic,
  title = {Symbolic execution formally explained},
  author = {Frank S. de Boer and Marcello M. Bonsangue},
  year = {2021},
  journal = {Formal Aspects of Computing},
  volume = {33},
  number = {4},
  pages = {617--636},
}

This record lives at https://refs.drheap.org/boer2021symbolic/ and will keep doing so.