[Software Verification, Book Chapter] Recent Advances in Symbolic Pathfinder.
Published in Book Chapter in Automatic Software Verification, 2023
Authors: Corina Pasareanu, Yannic Noller, Aymeric Fromherz, Bach D.X. Le, Wilem Visser, Tevfik Bultan, and William Eiers
Download Paper | Download Slides | Download Bibtex