Source data for testing results of the ADS software

NIAID Data Ecosystem2026-03-13 收录

自动驾驶系统测试

软件验证

数据链接：

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

官方服务：

资源简介：

This is the source data for the testing results of the ADS software at https://zenodo.org/record/5579390

创建时间：

2021-11-04

CASP

软件验证

形式化验证

CASP数据集是一个针对C代码形式化验证的评估数据集，包含506对用ANSI/ISO C规范语言（ACSL）编写的形式化规范和相应的C代码。该数据集由AI Sweden、Scania和KTH皇家理工学院的研究人员创建，旨在填补现有数据集在规模和多样性方面的不足，并支持对大型语言模型（LLMs）在代码生成和验证方面的性能进行基准测试。数据集内容丰富，涵盖了从大型开源数据集中提取的C代码及其形式化规范

arXiv2025-08-26 更新731

verify-mbedtls-artifact

加密技术

软件验证

The artifact is a docker image that provides unit proof sources for the mbedTLS project that can be compiled and executed as described in the main paper.

DataCite Commons2025-06-01 更新120

GPS data collected from Xinda autonomous vehicle of Chang'an University

自动驾驶系统测试

传感器故障诊断

The file 'GPS_P2.zip' is the dataset collected from the GNSS sensor of Xinda autonomous vehicle in the Connected Autonomous Vehicles Test Fields (the CAVs Test Fields) Weishui Campus,Chang'an Universi

IEEE2020-05-20 更新50

Software for Post-Processing Analysis of Strain Curves: The D-Station

心电图评估

软件验证

Abstract Background The use of speckle-tracking echocardiography for evaluation of cardiac function has great applicability in different scenarios. The broad use of this method requires tools that all

DataCite Commons2021-03-25 更新120

DeepCrime and DeepMutation++ mutations for Udacity self-driving car system

自动驾驶系统测试

深度学习变异测试

This is the dataset of mutations generated for Udacity Dave-2 model by DeepCrime and DeepMutation++ mutation testing tools as part of the "DeepCrime: Mutation Testing of Deep Learning Systems based o

NIAID Data Ecosystem100

Source data for testing results of the ADS software

资源简介：

相关数据集