:: Library Catalog

Beeld op de omslag

Bewaard in:

Bibliografische gegevens
Hoofdauteur:	Anonymouse
Formaat:	Recurso digital
Taal:
Gepubliceerd in:	Zenodo 2026
Online toegang:	https://doi.org/10.5281/zenodo.19447608
Tags:	Voeg label toe Geen labels, Wees de eerste die dit record labelt!

Gelijkaardige items

SysPro: Reproducing System-level Concurrency Bugs from Bug Reports
door: Zaman, Tarannum Shaila, et al.
Gepubliceerd in: (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
door: Anonymouse
Gepubliceerd in: (2025)

Reproduction Package for "Discrete-Time Hazard Modeling for Socio-Technical Architectural Degradation"
door: Anonymouse
Gepubliceerd in: (2026)

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

test
door: Anonymouse
Gepubliceerd in: (2025)

MicroRacer: Detecting Concurrency Bugs for Cloud Service Systems
door: Deng, Zhiling, et al.
Gepubliceerd in: (2025)

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

Verify Linearizability of Concurrent Stacks
door: Wen, Tangliu
Gepubliceerd in: (2021)

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

Identifying Concurrency Bug Reports via Linguistic Patterns
door: Shao, Shuai, et al.
Gepubliceerd in: (2026)

Deep Learning Based Concurrency Bug Detection and Localization
door: Feng, Zuocheng, et al.
Gepubliceerd in: (2025)

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

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

ConVer-G: Concurrent versioning of knowledge graphs
door: Gil, Jey Puget, et al.
Gepubliceerd in: (2024)

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

Go-Oracle: Automated Test Oracle for Go Concurrency Bugs
door: Tsimpourlas, Foivos, et al.
Gepubliceerd in: (2024)

michaelzimet/LinSysID_CPT: Physio SysID
door: michaelzimet
Gepubliceerd in: (2025)

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

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

Understanding Bug-Reproducing Tests: A First Empirical Study
door: Hora, Andre, et al.
Gepubliceerd in: (2026)

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

Before the Model Learns the Bug:Fuzzing RLVR Verifiers
door: Ray, Jaideep
Gepubliceerd in: (2026)

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

Dependent Session Types for Verified Concurrent Programming
door: Fu, Qiancheng, et al.
Gepubliceerd in: (2025)

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

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

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

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

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

ConEQsA: Concurrent and Asynchronous Embodied Questions Scheduling and Answering
door: Wang, Haisheng, et al.
Gepubliceerd in: (2025)

DependableSystemsLab/Turnstile-EuroSys26: EuroSys '26 Artifact Package - v25.09.0
door: Kumseok Jung
Gepubliceerd in: (2025)

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

HaPy-Bug -- Human Annotated Python Bug Resolution Dataset
door: Przymus, Piotr, et al.
Gepubliceerd in: (2025)

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

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

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

SysLLMatic: Large Language Models are Software System Optimizers
door: Peng, Huiyun, et al.
Gepubliceerd in: (2025)

SysCaps: Language Interfaces for Simulation Surrogates of Complex Systems
door: Emami, Patrick, et al.
Gepubliceerd in: (2024)

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

MoireDB: Formula-generated Interference-fringe Image Dataset
door: Matsuo, Yuto, et al.
Gepubliceerd in: (2025)