Skip to content
#software testing Dataset Open access

Artifact for "Prompt Pipelines as Engineered Artifacts: Regression-Testing a Multi-Agent Threat-Modeling Pipeline"

Aug 2026 · Zenodo (CERN European Organization for Nuclear Research)

Abstract

Replication and verification material for the PROMPTOPS 2026 paper "Prompt Pipelines asEngineered Artifacts: Regression-Testing a Multi-Agent Threat-Modeling Pipeline",presented at the 1st International Workshop on PromptOps and Vibe Coding, co-located withthe 41st IEEE/ACM International Conference on Automated Software Engineering (ASE 2026),Munich, 12-16 October 2026. The paper reports engineering experience from treating a multi-agent STRIDE threat-modelingpipeline as a set of versioned, regression-tested prompt artifacts: modular role prompts,typed inter-stage contracts, pipeline hyperparameters promoted out of code into versionedconfiguration, and a fixed corpus of 24 system architectures with 745 expert-curatedreference threats acting as a regression oracle with cost-aware metrics. This deposit contains: - 24 system architectures across five domains, normalised to a unified YAML schema, and their 745 expert-curated reference threats;- raw output for 8 pipeline variants across all 24 architectures (192 runs), including per-agent and per-stage run metadata;- the aggregate evaluation data behind Table 1 of the paper;- the prompt artifacts: category-agent, retrieval-query, auditor, corrector and risk-scoring prompts, per variant;- a code-only snapshot of the pipeline framework;- verify/verify_claims.py, which recomputes every quantitative claim in the paper and reports PASS, FAIL, or UNSUPPORTED for each. The verification script is the point of the deposit. It currently reports 29 passed, 1failed and 2 unsupported, and that result is intentional: it exposes two reporting defectsthat the paper's camera-ready text addresses in the open, rather than leaving a reader tofind them. UNSUPPORTED marks a claim the retained archive cannot establish. Two limitations of the archive are load-bearing and are documented in MANIFEST.md ratherthan left to be discovered. Risk scoring was enabled for only 7 of the 24 architectures, sothe risk-calibration column aggregates 6 or 7 cells per variant rather than 24. The trialruns that decided the removal of the chunk-filtered retrieval stage were not retained, andneither were the curated extended reference lists; the aggregate values and the outputs theexpansion was drawn from survive, the promotion decisions do not. Not included: the retrieval knowledge base built over CVE, CWE, MITRE CAPEC and ATT&CK, andOWASP material, whose redistribution terms differ from this deposit's licence.framework/KNOWLEDGE_BASE.md records its contents, the provenance of each source, and thecommand that rebuilds the index. No API credentials are included; build_package.py scansthe assembled package for credentials and personal data and fails if it finds any. Licence: the code is MIT. The architecture descriptions and reference threat lists areaggregated from open repositories of published threat-modeling examples and retain theirupstream terms; per-architecture provenance is in dataset/README.md. Reproducing a pipeline run end to end requires an OpenRouter API key and a rebuiltknowledge base. Note that LLM output varies between runs even at the pinned inferencesettings, so a fresh run will not reproduce the archived outputs exactly. The archive holdsone run per (architecture, variant) cell; this single-run limitation is discussed in thepaper.

View source

Similar papers

#computer vision Review Sep 2017

Agile Software Development Methods: Review and Analysis

This publication proposes a definition and a classification of agile software development approaches and analyses ten software development methods that can be characterized as being "agile" against the defined criterion.

P. Abrahamsson, O. Salo, Jussi Ronkainen et al. · 727 citations · ⚡54
#computer vision Jun 2008

The impact of agile practices on communication in software development

The study shows that agile practices improve both informal and formal communication, but indicates that, in larger development situations involving multiple external stakeholders, a mismatch of adequate communication mechanisms can sometimes even hinder the communication.

M. Pikkarainen, Jukka Haikara, O. Salo et al. · 401 citations · ⚡48
#machine learning Review Open access Oct 2014

Software development in startup companies: A systematic mapping study

The results indicate that software engineering work practices are chosen opportunistically, adapted and configured to provide value under the constrains imposed by the startup context.

Nicolò Paternoster, Carmine Giardino, M. Unterkalmsteiner et al. · 394 citations · ⚡54
#computer vision Review Mar 2008

Agile methods in European embedded software development organisations: a survey on the actual use and usefulness of Extreme Programming and Scrum

The results show that the embedded industry has been able to apply agile methods in its development processes and that the appreciation of the agile methods and their individual practices appears to increase once adopted and applied in practice.

O. Salo, P. Abrahamsson · 238 citations · ⚡9
#computer vision Open access Jul 2017

What happens when software developers are (un)happy

Consequences of happiness and unhappiness that are beneficial and detrimental for developers' mental well-being, the software development process, and the produced artifacts are found.

D. Graziotin, Fabian Fagerholm, Xiaofeng Wang et al. · 236 citations · ⚡13
#computer vision Open access Oct 2004

Mobile-D: an agile approach for mobile application development

The Mobile-D approach is briefly outlined here and the experiences gained from four case studies are discussed, which helped develop an agile development approach for mobile application development.

P. Abrahamsson, Antti Hanhineva, H. Hulkko et al. · 225 citations · ⚡18

Related blog posts

Microsoft Research Blog Nov 5, 2026

Formally verifying agent-written full-stack web apps with PDD Kit

AI agents can generate code at a scale that’s hard for humans to review line-by-line. PDD Kit helps ensure the code is doing what the developer intended by creating formal specifications and testing against them. It converts developer intent into a Verus specification, proves AI-generated code meets it for every input, and uses tests where proofs aren't practical. Developers review intent, not every line. The post Formally verifying agent-written full-stack web apps with PDD Kit appeared first o…

GPT-Lab Nov 3, 2026

Sovereignty Is the Option to Leave

Is your company’s AI sovereign? A practical guide for CIOs on AI vendor lock-in, EU Data Act switching, cloud sovereignty, and testing your exit plan before you need it. The post Sovereignty Is the Option to Leave appeared first on GPT-Lab.

Microsoft Research Blog Oct 30, 2026

From synthetic enterprise data evaluations to real Microsoft Copilot AI confidence

Evaluating Microsoft Copilot at enterprise scale requires test data that captures the full complexity of real organizations, yet real enterprise data contains sensitive information that cannot be used for evaluation under any circumstances. The post From synthetic enterprise data evaluations to real Microsoft Copilot AI confidence appeared first on Microsoft Research.

We use cookies to run the site and, with your consent, for analytics and to show ads. See our Cookie Policy.