Source code for the SECA symbolic execution engine

Name: Source code for the SECA symbolic execution engine
Published: 2026-04-29T10:33:12+08:00

B2FIND2026-04-29 收录

符号执行分析

软件能量消耗优化

数据链接：

https://b2find.eudat.eu/dataset/437b62fd-8d46-5a44-80a9-6baea569f3e6 数据链接链接失效反馈

官方服务：

资源简介：

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...

Source code for the SECA symbolic execution engine

资源简介：

相关数据集