3D Visualization of Symbolic Execution Traces

Jan Zielasko, Sören Tempel, Vladimir Herdt, Rolf Drechsler. 3D Visualization of Symbolic Execution Traces. In Forum on Specification & Design Languages, FDL 2022, Linz, Austria, September 14-16, 2022. pages 1-8, IEEE, 2022. [doi]

Abstract

Abstract is missing.