Copertina

Artifact SiRop for "Deciding Termination of Simple Randomized Loops"

Fuente: Zenodo

Salvato in:

Dettagli Bibliografici
Autore principale:	Anonymous, Anonymous
Natura:	Recurso digital
Lingua:	inglese
Pubblicazione:	Zenodo 2025
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Deciding Termination of Simple Randomized Loops
di: Meyer, Éléanore, et al.
Pubblicazione: (2025)

Artifact for DCAware
di: Anonymous
Pubblicazione: (2026)

Artifact for "The Jasmin Compiler Preserves Cryptographic Security."
di: Anonymous
Pubblicazione: (2025)

ASE_DiVerify_Artifact: Initial Release
di: Anonymous
Pubblicazione: (2026)

Artifact for "Are LLMs all we need in code comparison tasks?"
di: Anonymous
Pubblicazione: (2024)

QAL-Check: Quantum Alignment Logic Model Checker (Artifact)
di: Anonymous
Pubblicazione: (2026)

AgentBelt: Runtime Guardrails for LLM Agent Tool Calls — ASE 2026 Artifact
di: Anonymous
Pubblicazione: (2026)

Artifacts for Codlis: A Multi-Agent Framework for Interactive Source Code Visualization via Knowledge Graphs
di: Anonymous
Pubblicazione: (2026)

Artifacts for Publication - Fingerprints in the Wild: An Adversarial Study of Behavior Beyond Standard Attack Models and Implications for Robustness Evaluation
di: Anonymous
Pubblicazione: (2026)

Artifact: GraphDroid: Asynchronous LLM-Based Mobile App GUI Testing via History-Aware Exploration and Hybrid Intent Fulfillment
di: Anonymous
Pubblicazione: (2026)

Artifacts for "WebCQ: Cooperative Multi-Agent Reinforcement Learning for Scalable Web GUI Testing"
di: Anonymous Authors
Pubblicazione: (2026)

Artifacts: From Physical to Virtual: Redefining Scientific Events with Immersive Technologies: A Case Report
di: Anonymous 01
Pubblicazione: (0221)

Artifact for ASE'26 "Scaling LLM-Based Bug Detection via Universal Proof-of-Concept Test Generation"
di: Autho, Anonymous
Pubblicazione: (2026)

Incorporating convergent enzyme thermal evolution into species distribution models unveils future global marine fish distribution under climate change
di: Anonymous, Anonymous, et al.
Pubblicazione: (2025)

LiveBench benchmark ordered by reasoning - Snapshot - November 20, 2025
di: Anonymous, et al.
Pubblicazione: (2025)

Screen2AX-Tree_old
di: Anonymous, et al.
Pubblicazione: (2025)

BLIP for icon captioning
di: Anonymous, et al.
Pubblicazione: (2025)

Power Consumption and Process List from Replayed Azure VM Dataset
di: Anonymous, Anonymous
Pubblicazione: (2025)

How Type Hints are Used in Python Libraries and Frameworks: Early Insights
di: Anonymous, Anonymous
Pubblicazione: (2025)

Untangling the causes of Terror Birds extinction (Cariamiformes, Phorusrhacidae): the interplay of biotic and abiotic factors
di: Anonymous, Anonymous
Pubblicazione: (2025)

Connecting Generations Through Code: GABI, A Community-Driven Framework for Engineering Inclusive Financial Software for the Elderly
di: Anonymous, Anonymous
Pubblicazione: (2025)

Data and code for "Heart rate biologgers reveal individual-specific energy landscapes for mule deer"
di: Anonymous, Anonymous
Pubblicazione: (2025)

Scaling Authenticity: Low-Threshold Social VR for Teacher Training and Didactical Practice
di: Anonymous, Anonymous
Pubblicazione: (2025)

Jesús en su tiempo / Daniel Rops
di: Rops, Daniel

Sample data and codes for peer review
di: Anonymous, Anonymous
Pubblicazione: (2025)

Supplementary data for Perspectives, Needs and Challenges for Sustainable Software Engineering Teams: A FinServ Case Study
di: Anonymous, Anonymous
Pubblicazione: (2025)

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

CommitSuite: A Comprehensive Benchmark for Commit Classification and Message Generation
di: Anonymous, Anonymous
Pubblicazione: (2025)

CommitSuite: A Comprehensive Benchmark for Commit Classification and Message Generation
di: Anonymous, Anonymous
Pubblicazione: (2025)

Does Good Design Prevent Code Clones? An Exploratory Study on SOLID Principles in Java Systems
di: Anonymous, Anonymous
Pubblicazione: (2025)

UntrustVul: Improving the Usability of Vulnerability Detection Models by Reducing Untrustworthy Alerts
di: Anonymous, Anonymous
Pubblicazione: (2025)

PacPre
di: Anonymous, Anonymous
Pubblicazione: (2025)

Rosetum3D: A Large-Scale 3D Vision Dataset from Rose Planting Scene
di: Anonymous, Anonymous
Pubblicazione: (2025)

Technical Appendix of From Conflicts to Efficiency: Learning Constraint Orderings for Conflict Detection
di: Anonymous, Anonymous
Pubblicazione: (2025)

LLMs are Imperfect, Then What? An Empirical Study on LLM Failures in Software Engineering
di: Anonymous, Anonymous
Pubblicazione: (2025)

test
di: Anonymous, Anonymous
Pubblicazione: (2025)

CarbonClusterSim
di: Anonymous, Anonymous
Pubblicazione: (2025)

Deprecated
di: Anonymous, Anonymous
Pubblicazione: (2025)

A reproducible pipeline for activity-based travel demand generation in England
di: Anonymous, Anonymous
Pubblicazione: (2025)

test
di: Anonymous, Anonymous
Pubblicazione: (2025)