SpecOps 2026 – Preliminary Table of Contents

1st International Workshop on Specification-Driven Development Life Cycle (SpecOps 2026)

Frontmatter

1st International Workshop on Specification-Driven Development Life Cycle (SpecOps 2026) Papers

Specifications for Humans, Agents, and Tooling
Mark Marron
(University of Kentucky, USA)

Article Search Article: splashws26specopsmain-p3-p (type: Full Paper) doi:10.1145/3842652.3843194

Grounding AI Agents in Contracts: An Empirical Evaluation of Spec-Driven Test Generation
Michele Tufano, James McClure, José Cambronero, Runxiang Cheng, Sherry Shi, Renyao Wei, Dorothy Chen, Franjo Ivancic, Livio Dalloro, and Pat Rondon
(Google, USA)

Article Search Article: splashws26specopsmain-p4-p (type: Full Paper) doi:10.1145/3842652.3843195

RuSMT: An Executable Semantics as Conformance Oracle and Test Suite Synthesizer
Mehrad Haghshenas and Meng Xu
(University of Waterloo, Canada)

Article Search Artifacts Available Article: splashws26specopsmain-p5-p (type: Full Paper) doi:10.1145/3842652.3843196

Reproduction Package for Article `RuSMT: An Executable Semantics as Conformance Oracle and Test Suite Synthesizer' (doi:10.5281/zenodo.22095547): The RuSMT framework and the recorded run behind every number in the paper "RuSMT: An Executable Semantics as Conformance Oracle and Test Suite Synthesizer". The framework comprises the DSL (a subset of Rust whose types denote Z3 sorts), the transpiler to SMT-LIB, the solver-and-language-model loop that turns each ...

SPINACH: Inferring Properties of Web Applications for Property-Based Testing
Savitha Ravi and Michael Coblenz
(University of California at San Diego, USA)

Article Search Article: splashws26specopsmain-p9-p (type: Short Paper (4 pages + 1 page for references)) doi:10.1145/3842652.3843198

1st International Workshop on Specification-Driven Development Life Cycle (SpecOps 2026)

proc time: 0.01