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) Keynotes Papers

Intent Formalization: Assessing the Quality of AI-Generated Formal Program Specifications (Keynote)
Shuvendu Lahiri
(Microsoft Research, Redmond, USA)

Article Search Article: splashws26specopsmain-key1-p (type: Keynote) doi:10.1145/3842652.3850232

Bridging Requirements and Assurance: Neurosymbolic Autoformalization for C++ Verification and Requirements-Coverage Testing (Keynote)
Corina S. Păsăreanu and Joe Rutland
(Amazon Prime Air, USA; Carnegie Mellon University, Pittsburgh, USA)

Article Search Article: splashws26specopsmain-key2-p (type: Keynote) doi:10.1145/3842652.3850233

Unlocking Safe Agentic Autonomy through Verification (Keynote)
Niranjan Tulpule
(Google, Mountain View, USA)

Article Search Article: splashws26specopsmain-key3-p (type: Keynote) doi:10.1145/3842652.3850234

Specifications for Humans, Agents, and Tooling: BOSQUE API (BAPI) 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.02