Computer Software

Top datasets

Dataset
 
 
 
 
 
 
 
 
 

Latest datasets

Collections

Multiagent STN benchmark instances
Posted on 2013-03-18
CounteringRumours
Posted on 2021-05-19

All datasets

Evidence-Based Software Portfolio Management (EBSPM) Research Repository
Posted on 2017-07-20
Supplementary material for the paper: Using the Student’s t-test with extremely small sample sizes
Posted on 2019-09-09
Source code of the 4TU.ResearchData repository
Posted on 2023-03-20
Data underlying the research on "Comprehensibility of Tabular and Graphical Risk Model Representations: Results of Two Controlled Experiments"
Posted on 2019-06-26
DTS measurements supporting a DTS calibration paper.
Posted on 2019-03-18
Classifying code comments in Java Mobile Applications
Posted on 2020-03-16
Data underlying the research on phylogenetic network rearrangement move heuristics.
Posted on 2021-01-20
Real-world sales forecasting benchmark data - Extended version
Posted on 2021-04-13
MaryGold 7 ecoli simulated metagenome assembly (AMOS bank)
Posted on 2013-11-26
A Modest Approach to Modelling and Checking Markov Automata (Artifact)
Posted on 2019-09-05
Profile hidden Markov models trained on aligned KEGG Orthology sequences for enzyme annotation
Posted on 2019-10-07
Experimental data for "Software Data Analytics: Architectural Model Discovery and Design Pattern Detection"
Posted on 2019-01-29
Technology-based social skills training systems: A systematic literature review
Posted on 2020-05-19
MTL Music Representation, data underlying the publication: One deep music representation to rule them all? A comparative analysis of different representation learning strategies
Posted on 2019-03-13
Artifact for the Paper "Fast Verified SCCs for Probabilistic Model Checking"
Posted on 2023-08-21
Soft Gripper AR Framework
Posted on 2021-11-09
Soft Gripper AR Framework
Posted on 2022-02-18
Proper Orthogonal Decomposition and Trajectory Piecewise Linearization module for SINTEF's Matlab Reservoir Simulation Toolbox
Posted on 2015-08-20
FEVER - feature oriented history of the Linux kernel
Posted on 2016-10-24
FEVER: the Feature Evolution Extractor Dataset - Linux releases
Posted on 2016-06-07
BDH external constraint problem instances
Posted on 2013-03-18
WS agent problem instances
Posted on 2013-03-18
Code for the paper "Characterizing residential segregation in cities using intensity, separation, and scale indicators"
Posted on 2022-10-19
WS task problem instances
Posted on 2013-03-18
Data accompanied to the paper: Modular Transformation of Java Exceptions Modulo Errors
Posted on 2021-08-25
Script to register Figshare dois in Datacite
Posted on 2022-05-03
Data underlying the research on "Comprehensibility of Risk Modeling Notations (Effect of Search Availability)"
Posted on 2021-03-30
Statechart Workbench and Alignments Software Event Log
Posted on 2018-08-31
Catcher, artifact of the paper: “Effective and Efficient API Misuse Detection via Exception Propagation and Search-based Testing”.
Posted on 2019-07-03
Analysis of technological state of the art in e-mental health for the prevention and treatment of depression
Posted on 2019-08-19
Large scale API Usage dataset
Posted on 2019-03-05
Supplementary materials for the article: Exploratory factor analysis with small sample sizes
Posted on 2019-09-30
Balancing Wind and Batteries: Towards Predictive Verification of Smart Grids (Artifact)
Posted on 2023-03-08
Programs to evaluate superoptimizer STOKE.
Posted on 2022-06-20
Data and analysis underlying User study location-sharing mobile app the Netherlands
Posted on 2018-10-17
Indoor 3D LIDAR scans with thermal images for mapping (the Automation Lab at Jacobs University Bremen)
Posted on 2019-10-28
ToMockOrNotToMock
Posted on 2017-04-06
Classifying code comments in Java open-source software systems
Posted on 2020-03-16
Software artefact for FIG: the Finite Improbability Generator
Posted on 2020-05-12
A Data Set of OCL Expressions on GitHub
Posted on 2017-08-31
Apache Commons Crypto 1.0.0 - Stream CbcNopad Unit Test Software Event Log
Posted on 2017-04-21
Towards a generic distributed adaptive hypermedia environment
Posted on 2012-04-16
Protocols for creating and distilling multipartite GHZ states with Bell pairs (pre-calculated data)
Posted on 2020-12-01
Data underlying the publication: Protocols for creating and distilling multipartite GHZ states with Bell pairs
Posted on 2021-10-28
Perceived Mental Workload Detection using Multimodal Physiological Data - Deep Learning, GitHub Linked
Posted on 2020-09-22
DUECA/DUSIME Middleware for Implementing Distributed Real-Time Simulations
Posted on 2022-07-05
Source code of the jEULYNX prototype framework
Posted on 2021-04-14
JUnit 4.12 Software Event Log
Posted on 2016-08-15
Mining Branching LSCs: CrossFTP, Columba traces and results
Posted on 2013-08-19
Data for: NetQASM - A low-level instruction set architecture for hybrid quantum-classical programs in a quantum internet
Posted on 2022-10-19
PhD Thesis Artifact: Correct Optimized GPU Programs
Posted on 2022-01-31
Sampling Distributed Schedulers for Resilient Space Communication (Artifact)
Posted on 2020-11-03
Software accompanying paper: Refinement of Parallel Algorithms down to LLVM
Posted on 2022-07-19
Dataset 1 and 2 from Master Thesis Building Interactive Text-to-SQL Systems
Posted on 2022-05-10
Agent-based model software written for the master thesis Scaling Up, Staying Secure
Posted on 2023-01-11
Real-world MDVRP data with realistic constraints
Posted on 2020-02-06
Code and data underlying the publication: City3D: Large-scale Building Reconstruction from Airborne LiDAR Point Clouds
Posted on 2023-07-19
The Effects of Change Decomposition on Code Review - A Controlled Experiment - Online appendix
Posted on 2018-05-03
Reduction and Solving of Parity Games
Posted on 2013-07-16
LBSN2Vec++: Global-scale Check-in Dataset with User Social Networks
Posted on 2021-08-05
Code and data of research project: The effect of tempo transformations on Essentia’s beat tracking pipelines
Posted on 2022-01-14
Coverage-Driven SLAM Testing
Posted on 2023-01-25
Data underlying the PhD thesis: Accelerating Programmer-Friendly Intermittent Computing (Chapter 6)
Posted on 2023-03-17
Video Annotation Software
Posted on 2022-06-29
Screenshots of Virtual Reality Imagery Rescripting tool
Posted on 2022-09-22
Implementation of Study 1 from Master Thesis Building Interactive Text-to-SQL Systems
Posted on 2022-05-10
Replication Package for the master thesis "An Empirical Assessment on the Limits of Binary Code Summarisation with Transformer-based Models"
Posted on 2022-07-14
Code for the master thesis "Exploring the Effect of Automation Failure on the Human's Trustworthiness in Human-Agent Teamwork"
Posted on 2023-01-03
Experiment results supporting the master thesis Scaling Up, Staying Secure
Posted on 2023-01-11
Artifact for paper (Alpinist: an Annotation-Aware GPU Program Optimizer)
Posted on 2021-11-26
Results of DSL SLR
Posted on 2014-03-17
Specification Translator: Tool to Translate Specifications for Deductive Verifiers
Posted on 2023-06-19
Artifact for paper (Alpinist: an Annotation-Aware GPU Program Optimizer)
Posted on 2021-11-22
Supplementary data for the article: Coupled simulator for research on the interaction between pedestrians and (automated) vehicles
Posted on 2020-04-23
Generics library for datatype-generic programming in Agda
Posted on 2023-05-25
Data underlying the publication: “No Spring Chicken: Quantifying the Lifespan of Exploits in IoT Malware Using Static and Dynamic Analysis”
Posted on 2022-03-01
ProVerB: Dataset of Tools and Formats for Program Verification
Posted on 2022-07-21
SAMXL - Virtual Environment for Virtual Reality Development
Posted on 2022-01-03
Artifact for Automated Verification of Parallel Nested DFS, TACAS’20
Posted on 2020-02-20
DNS Queries to Authoritative DNS Server at SURFnet by Google's Public DNS Resolver
Posted on 2018-06-12
Permission-based Verification of Red-Black Trees and Their Merging - Code
Posted on 2021-01-21
VideoToStill StillToStill Face Recognition dataset
Posted on 2019-07-24
BDH agent problem instances
Posted on 2013-03-18
WiseNET: Multi-camera dataset
Posted on 2019-09-27
Eclipse Third-party Plug-ins Source code
Posted on 2013-04-15
Everyday environments as cues to smoke: Personalized environments in virtual reality to elicit smoking cravings - Data and Analysis Code
Posted on 2022-03-31
The Maven Dependency Dataset
Posted on 2013-01-10
Data underlying the research of: “A multi-agent system for an intelligent driving instruction application”
Posted on 2023-08-31
Evaluation of Specification Inference Tools for Deductive Verification
Posted on 2023-06-19
Data originating from deprecation mechanism interviews
Posted on 2020-04-02
Data underlying the Preliminary Evaluation of EvoCrash
Posted on 2018-11-13
DistSim: Java multiagent simulator
Posted on 2013-03-18
Data underlying the BSc thesis: Evaluating the Believability of the Lilobot Conversational Agent.
Posted on 2023-06-23
Specification Translator: Artifact for iFM 2023 paper "Joining Forces! Reusing Contracts for Deductive Verifiers through Automatic Translation"
Posted on 2023-09-05
Data underlying the Master Thesis: Bringing Formal Verification into Widespread Programming Language Ecosystems
Posted on 2023-06-21
Joining Forces! Reusing Contracts for Deductive Verifiers through Automatic Translation - Supplemental Material
Posted on 2023-09-18
Data underlying the Bachelor Thesis: Using Newsletters to Analyze Curated Software Testing Content
Posted on 2023-06-21
Codebase Underlying the BSc Thesis: Type-Checking Modules and Imports using Scope Graphs
Posted on 2023-06-21
Data underlying the Master Thesis: Bringing Formal Verification into Widespread Programming Language Ecosystems
Posted on 2023-06-20
Supporting software for the paper: Conformance in the Railway Industry: Single-Input-Change Testing a EULYNX Controller
Posted on 2023-07-26