Cover Image

Replication Package for "Integrating Parallel Trace Abstraction and Explicit Exploration for Test-Case Generation"

Fuente: Zenodo

Saved in:

Bibliographic Details
Main Author:	Annonymous
Format:	Recurso digital
Published:	Zenodo 2026
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

VARIES Replication Package
by: Anonymous
Published: (2026)

Multi-Threaded Software Model Checking via Parallel Trace Abstraction Refinement
by: Barth, Max, et al.
Published: (2025)

Replication Package for "Risk-Aware Batch Testing for Performance Regression Detection"
by: Sayedsalehi, Ali, et al.
Published: (2026)

Replication Package for "Norms as Obligations"
by: Hoeft, Leonard, et al.
Published: (2026)

Replication Package for Anonymous Submission
by: Anonymous
Published: (2026)

Docker Dependency - Replication Package
by: Anonymous
Published: (2025)

Replication Package for "SRDF-GEN: Data-Driven RDF Graph Generation"
by: Arzani, Radmehr
Published: (2026)

Replication Package: On the Generalization Capabilities of LLMs for Reverse Engineering Sequence Diagrams
by: Greiner, Sandra, et al.
Published: (2025)

[Replication Package] EASE 2026 submission #76
by: Anonymous Author(s)
Published: (2026)

[Replication Package] ICSA 2026 submission #121
by: Anonymous Author(s)
Published: (2026)

[Replication Package] ICSA 2026 submission #121
by: Anonymous Author(s)
Published: (2026)

Replication Package for "Abatement Subsidies for Groundwater Conservation"
by: Rouhi Rad, Mani
Published: (2025)

Replication and Exploration of Generative Retrieval over Dynamic Corpora
by: Zhang, Zhen, et al.
Published: (2025)

An Agentic Approach Towards Replication Package Quality Evaluation
by: Mbida, Maximilian Alexander Amougou, et al.
Published: (2026)

AI-Powered Personalization in E-Commerce: Replication Package
by: Turki, Hager
Published: (2025)

Replicable Bandits with UCB based Exploration
by: Deb, Rohan, et al.
Published: (2026)

Replication Package for "Quality Assessments in MBSE: Past, Present and Future"
by: Blaschke, Konstantin Rupert, et al.
Published: (2026)

Replication Package: Useful Learning Experiences in Brazilian Software Engineering
by: Siqueira, Rodrigo
Published: (2026)

Replication Package for "An Evaluation of State-of-the-art Snapshot-Based Fuzzing"
by: Anonymous, Anonymous
Published: (2025)

Replication Package For: De Gustibus and Disputes about Reference Dependence
by: Sprenger, Charles, et al.
Published: (2025)

[Replication Package] Evaluating the Impact of Post-Training Quantization on Large Language Models for Code Generation
by: Giagnorio, Alessandro, et al.
Published: (2025)

Replicable Uniformity Testing
by: Liu, Sihan, et al.
Published: (2024)

Replicable Distribution Testing
by: Diakonikolas, Ilias, et al.
Published: (2025)

LaTER: Efficient Test-Time Reasoning via Latent Exploration and Explicit Verification
by: Li, Xuan, et al.
Published: (2026)

Parallel LLM Reasoning for Bias-Resilient, Robust Conceptual Abstraction
by: Adeseye, Aisvarya, et al.
Published: (2026)

Streaming Tensor Programs: A Streaming Abstraction for Dynamic Parallelism
by: Sohn, Gina, et al.
Published: (2025)

Replication Package for "Green AI: Cost of LLM-based Code Completion"
by: Anonymous, Anonymous
Published: (2026)

NoHBruh/SentiDex-Replication-Package: Release V1
by: NoHBruh
Published: (2026)

Replication Package for Chaos Engineering: A Multi-Vocal Literature Review
by: OWOTOGBE, JOSHUA SEGUN, et al.
Published: (2025)

Replication Package for: "Overcoming the gap between structured dependencies and change coupling"
by: López Magaña, Gabriela Eugenia
Published: (2021)

Specification Mining for Smart Contracts with Trace Slicing and Predicate Abstraction
by: Liu, Ye, et al.
Published: (2024)

The Price of Cognition and Replicator Equations in Parallel Neural Networks
by: Bagdasaryan, Armen, et al.
Published: (2024)

Data-Driven Abstractions for Control Systems via Random Exploration
by: Coppola, Rudi, et al.
Published: (2024)

Geometric Active Exploration in Markov Decision Processes: the Benefit of Abstraction
by: De Santi, Riccardo, et al.
Published: (2024)

Explorations in Semantic Parallelism
by: J. Fox, James
Published: (2014)

grangersearch: An R Package for Exhaustive Granger Causality Testing with Tidyverse Integration
by: Korfiatis, Nikolaos
Published: (2026)

Replication Package: Institutional Noise, Strategic Deviation, and Intertemporal Collapse in Protocol Governance
by: Wright, Craig
Published: (2026)

Replication Package: Modelling Higher Education as a Socio-Economic Complex System
by: Paz, Hugo Roger
Published: (2026)

Replication Package for "Asymptotic Theory and Regime-Varying Cointegration for Trend-Cycle Decomposition
by: Anonymous
Published: (2026)

An Evaluation Framework for LLM-Driven Regulatory-to-Policy-as-Code Translation - Replication Package
by: Nguyen, Bao Van
Published: (2026)