首页/数据集/CyPhySPL - Empirical Evaluation - Instrumentation and Data Results

CyPhySPL - Empirical Evaluation - Instrumentation and Data Results

Name: CyPhySPL - Empirical Evaluation - Instrumentation and Data Results
Creator: Pontifícia Universidade Católica do Paraná
Published: 2019-03-04T00:00:00+08:00

Zenodo2019-03-04 更新2026-04-07 收录

信息物理系统评估

软件产品线

数据链接：

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

官方服务：

资源简介：

CyPhySPL - Empirical Evaluation - Instrumentation and Data Results

应用场景：

提供机构：

Pontifícia Universidade Católica do Paraná

创建时间：

2019-03-04

软件产品线

多样性采样算法

This is the online supplement for the following paper: Yi Xiang, Han Huang, Yuren Zhou, Sizhe Li, Chuan Luo, Qingwei Lin, Miqing Li, and Xiaowei Yang. 2022. Search-based Diverse Sampling from Real-wor

Zenodo2022-01-07 更新10

Software Product Line Benchmark In Dimacs Format

软件产品线

SAT求解

Software Product Line Benchmark in DIMACS format

Zenodo2017-01-31 更新00

Replication Package: A Systematic Mapping Study on Security in Configurable Safety-critical Systems Based on Product-Line Concepts

安全关键系统安全

软件产品线

Welcome to the public repository for the additional content of the paper "A Systematic Mapping Study on Security in Configurable Safety-critical Systems Based on Product-Line Concepts", submitted at t

NIAID Data Ecosystem00

TSE_Based_基于搜索的软件产品线测试研究互补材料数据

软件产品线

基于搜索的软件测试

本数据集为论文《Looking For Novelty in Search-based Software Product Line Testing》的互补材料，包含相关性分析结果表格及用于相关性分析的MATLAB脚本与原始数据压缩包，支持论文实验结果的复现与验证，共包含2个文件。论文《Looking For Novelty in Search-based Software Product Lin

海数据00

Software Product Line Benchmark In Dimacs Format

软件产品线

形式验证基准测试

Software Product Line Benchmark in DIMACS format

Zenodo2020-09-18 更新00