首页/数据集/Reconciling Preemption Bounding with DPOR

Reconciling Preemption Bounding with DPOR

NIAID Data Ecosystem2026-03-14 收录

并发程序验证

软件测试优化

数据链接：

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

官方服务：

资源简介：

This is the artifact accompanying our paper "Reconciling Preemption Bounding with DPOR", accepted for publication at TACAS 2023.

应用场景：

创建时间：

2023-01-11

软件测试优化

测试用例优先级排序

Artifacts for [On Rank Aggregating Test Prioritizations] ===================================================== username: entp password: entp root password: entp Directory s

Zenodo2023-04-28 更新110

The number of possible orderings with their APFD values for Online Jewellery Store.

软件测试优化

回归测试评估

The number of possible orderings with their APFD values for Online Jewellery Store.

Figshare2020-02-21 更新30

Artifact from "A Little Goes a Long Way: Tuning Configuration Selection for Continuous Kernel Fuzzing"

内核模糊测试

软件测试优化

Artifact from "A Little Goes a Long Way: Tuning Configuration Selection for Continuous Kernel Fuzzing"

Zenodo2024-08-16 更新20

Binary Artifact for TACAS-2018 paper "Optimal DPOR with Observers"

并发程序验证

优化算法

This is a binary artifact related to the TACAS-2018 paper "Optimal Dynamic Partial Order Reduction with Observers". The paper describes an extension to the Optimal DPOR (Dynamic Partical Order Reducti

DataCite Commons2020-08-30 更新50

Code and experiment data of "Using Active Learning to Train Predictive Mutation Testing with Minimal Data"

预测性突变测试

软件测试优化

The repository contains the python files used to perform the experiments and analyze the resulting data. The experiment data is also present zipped, in a file-per-project .json format. The individual

Zenodo2025-05-31 更新20

Reconciling Preemption Bounding with DPOR

资源简介：

相关数据集