Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.
Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.
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]