Source code for the SECA symbolic execution engine

Source code accompanying the paper: Markus Klinik, Bernard van Gastel, Cynthia Kop, and Marko van Eekelen. Skylines for symbolic energy consumption analysis. In Proceedings of...

B2FIND20

Source code for the symbolic TopHat execution engine

Source code accompanying the paper: Naus, N., Steenvoorden, T.J. & Klinik, M.A.A. (2019). A symbolic execution semantics for TopHat. In J. Stutterheim (Ed.), IFL'19: The 31st...

B2FIND00

SEE: Symbolic Execution Engine Reproducibility Suite v1.1.0 (Code-Free Archive)

This archive contains the complete testing and reproducibility suite for SEE — the Symbolic Ecosystem Engine. While the engine’s source code is not included, this archive provides frozen symbolic test

Zenodo2025-06-23 更新00