:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Author:	Anonymouse
Format:	Recurso digital
Language:
Published:	Zenodo 2026
Online Access:	https://doi.org/10.5281/zenodo.19447608
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

SysPro: Reproducing System-level Concurrency Bugs from Bug Reports
by: Zaman, Tarannum Shaila, et al.
Published: (2026)

Network Datasets for Megacities, hazy air, and other not-so-cool things: mapping the known and unknown intersections between climate change, health and urbanization Paper
by: Anonymouse
Published: (2025)

Reproduction Package for "Discrete-Time Hazard Modeling for Socio-Technical Architectural Degradation"
by: Anonymouse
Published: (2026)

Code and Data for "LibEvoBench: Probing Temporal Knowledge Stratification in Code Generation Models" paper
by: Anonymouse
Published: (2026)

test
by: Anonymouse
Published: (2025)

MicroRacer: Detecting Concurrency Bugs for Cloud Service Systems
by: Deng, Zhiling, et al.
Published: (2025)

GitBug-Java: A Reproducible Benchmark of Recent Java Bugs
by: Silva, André, et al.
Published: (2024)

Verify Linearizability of Concurrent Stacks
by: Wen, Tangliu
Published: (2021)

SysFuSS: System-Level Firmware Fuzzing with Selective Symbolic Execution
by: Tharindu, Dakshina, et al.
Published: (2026)

Identifying Concurrency Bug Reports via Linguistic Patterns
by: Shao, Shuai, et al.
Published: (2026)

Deep Learning Based Concurrency Bug Detection and Localization
by: Feng, Zuocheng, et al.
Published: (2025)

GitBug-Actions: Building Reproducible Bug-Fix Benchmarks with GitHub Actions
by: Saavedra, Nuno, et al.
Published: (2023)

Verifying Equilibria in Finite-Horizon Probabilistic Concurrent Game Systems
by: Rajasekaran, Senthil, et al.
Published: (2025)

ConVer-G: Concurrent versioning of knowledge graphs
by: Gil, Jey Puget, et al.
Published: (2024)

Go-Oracle: Automated Test Oracle for Go Concurrency Bugs
by: Tsimpourlas, Foivos, et al.
Published: (2024)

SchemaDB: Structures in Relational Datasets
by: Christopher, Cody James, et al.
Published: (2021)

michaelzimet/LinSysID_CPT: Physio SysID
by: michaelzimet
Published: (2025)

SysTemp: A Multi-Agent System for Template-Based Generation of SysML v2
by: Bouamra, Yasmine, et al.
Published: (2025)

Gem5-AcceSys: Enabling System-Level Exploration of Standard Interconnects for Novel Accelerators
by: Liu, Qunyou, et al.
Published: (2025)

Understanding Bug-Reproducing Tests: A First Empirical Study
by: Hora, Andre, et al.
Published: (2026)

Towards Enhancing the Reproducibility of Deep Learning Bugs: An Empirical Study
by: Shah, Mehil B., et al.
Published: (2024)

Before the Model Learns the Bug:Fuzzing RLVR Verifiers
by: Ray, Jaideep
Published: (2026)

Verifying Concurrent Stacks by Divergence-Sensitive Bisimulation
by: Yang, Xiaoxiao, et al.
Published: (2017)

Dependent Session Types for Verified Concurrent Programming
by: Fu, Qiancheng, et al.
Published: (2025)

Dataset Pruning in RecSys and ML: Best Practice or Mal-Practice?
by: Winter, Leonie
Published: (2025)

CobbleDB: Modelling Levelled Storage by Composition
by: Ma, Emilie, et al.
Published: (2026)

Imitation Game: Reproducing Deep Learning Bugs Leveraging an Intelligent Agent
by: Shah, Mehil B, et al.
Published: (2025)

Gender Dynamics in Software Engineering: Insights from Research on Concurrency Bug Reproduction
by: Zaman, Tarannum Shaila, et al.
Published: (2025)

Petri Nets-based Methods on Automatically Detecting for Concurrency Bugs in Rust Programs
by: Zhang, Kaiwen, et al.
Published: (2022)

ConEQsA: Concurrent and Asynchronous Embodied Questions Scheduling and Answering
by: Wang, Haisheng, et al.
Published: (2025)

DependableSystemsLab/Turnstile-EuroSys26: EuroSys '26 Artifact Package - v25.09.0
by: Kumseok Jung
Published: (2025)

Anticipating Bugs: Ticket-Level Bug Prediction and Temporal Proximity Effects
by: La Prova, Daniele, et al.
Published: (2025)

HaPy-Bug -- Human Annotated Python Bug Resolution Dataset
by: Przymus, Piotr, et al.
Published: (2025)

AssertFlip: Reproducing Bugs via Inversion of LLM-Generated Passing Tests
by: Khatib, Lara, et al.
Published: (2025)

SWE-Synth: Synthesizing Verifiable Bug-Fix Data to Enable Large Language Models in Resolving Real-World Bugs
by: Pham, Minh V. T., et al.
Published: (2025)

Multi-Robot System Architecture design in SysML and BPMN
by: Sadik, Ahmed R., et al.
Published: (2024)

SysLLMatic: Large Language Models are Software System Optimizers
by: Peng, Huiyun, et al.
Published: (2025)

SysCaps: Language Interfaces for Simulation Surrogates of Complex Systems
by: Emami, Patrick, et al.
Published: (2024)

An End-to-End Approach for Fixing Concurrency Bugs via SHB-Based Context Extractor
by: Li, Zhuang, et al.
Published: (2026)

PITMuS: A Tool for Automated Bug Dataset Generation via Source-Level Mutant Reconstruction
by: Tasnim, Tasfia, et al.
Published: (2026)