首页/数据集/Dataset for SMTimer: Boosting Symbolic execution via Constrainting Solving Time Prediction

Dataset for SMTimer: Boosting Symbolic execution via Constrainting Solving Time Prediction

NIAID Data Ecosystem2026-03-12 收录

符号执行优化

约束求解

数据链接：

https://zenodo.org/record/4722614 数据链接链接失效反馈

官方服务：

资源简介：

SMT scripts of SMT-LIB language generated from symbolic execution tools

应用场景：

创建时间：

2021-04-27

约束求解

CAD装配建模

This data set contains the original Autodesk Inventor CAD-Assembly-File with the embedded Macro for the CSP-based configurator of the sorting box example. Additionally, the code is available in the si

DataCite Commons2022-09-01 更新120

Replication Package for the Paper "A Lazy and Modular Approach to Int-Blasting"

约束求解

算法评估

Replication package for the paper:"A Lazy and Modular Approach to Int-Blasting" by Max Barth, Matthias Heizmann and Jochen Hoenicke. It contains the results presented in the evaluation of our paper.

NIAID Data Ecosystem20

Exploring Strategies for Guiding Symbolic Analysis with Machine Learning Prediction

符号执行优化

机器学习指导的程序分析

To improve the scalability of symbolic analysis tools, one observation is that analysis resources are wasted on analyzing unsatisfiable paths, which are not possible in reality. While existing works a

NIAID Data Ecosystem20

Replication Data for: Perception-based Constraint Solving for Sudoku Images

图像处理

约束求解

We consider the problem of perception-based constraint solving, where part of the problem specification is provided indirectly through an image provided by a user. As a pedagogical example, we use the

DataCite Commons2025-03-25 更新60

Augmenting Model-Based Instantiation with Fast Enumeration

模型检查点

约束求解

This package contains the raw evaluation data for the paper Augmenting Model-Based Instantiation with Fast Enumeration. The necessary scripts, binaries, datasets, configuration files, and instructions

NIAID Data Ecosystem20

Dataset for SMTimer: Boosting Symbolic execution via Constrainting Solving Time Prediction

资源简介：

相关数据集