Skip to content

ReATest: enhancing policy-as-code workflows through automated test case generation from Rego policies

Jul 2026 · Software quality journal · Vol 34 · 0 citations · 37 references
Computer Science

TL;DR

ReATest is introduced, an automated approach to enhancing PaC workflows through systematic test case generation from Rego specifications, which achieves an average 35.43% reduction in test suite size and retains 64.57% of the generated test cases.

View source

Similar papers

2026

Agent-driven security as code for NIS2 compliance in regulated cloud environments

The study concludes that an AI-agent paired with Security-as-Code is a promising avenue for proactive NIS2 compliance, and future work on extending this approach to other standards and automated remediation is outlined.

I. Opirskyy, O. Vakhula, P. Vorobets et al. · 0 citations
Open access Jul 2026

TraceUX: An Explainable Rule-Based Framework for Context-Aware Static UX Evaluation

User experience (UX) evaluation is central to software quality, yet it remains difficult to integrate into software engineering workflows in a systematic, explainable, and early-stage manner. This paper presents TraceUX, a framework for operationalizing UX heuristics and design guidance into a rule-based static evaluat...

Fouzia Alzhrani · 0 citations
Open access Jul 2026

Reusing Policy-as-Code Across CI/CD and Kubernetes Admission Control: An Empirical Assessment of Governance Consistency

Empirically evaluates a reusable multi-stage Policy-as-Code enforcement model based on a shared policy-definition layer implemented using the Open Policy Agent framework and its Rego policy language and demonstrates that a shared policy-definition layer can support consistent policy enforcement across complementary enf...

L. Nogueira, Alice Resende · 0 citations
Conference Aug 2026

MCSafe-GSN-HOL: A Formal Assurance Framework for Machine-Checkable Safety Cases of Deployed LLM Agents

Deployed large language model (LLM) agents are now being used to interface with external tools, fetch information, run code, interact with user data and help with decision making at the workflow level. Therefore, their safety issues are not only related to the underlying model, but also to tool permissions, prompt desi...

Aakash Abhay Yadav, Shashank Shelat, B. Hinduja et al. · 0 citations
2026

DevSecOps policy-as-code: Detecting and remediating over-privileged access tokens in SDLC tools

The article represents a Proof of Concept (PoC) for policy-as-code methodology designed to detect “Privilege Sprawl” in GitLab CI/CD environments and showed how teams can reduce their organisational exposure by 73% and get back into compliance with Least Privilege.

V. Havryliak, S. Vasylyshyn · 0 citations
Preprint Aug 2026

PolicyGuide: From Guarding One Action to Guiding the Whole Workflow for Policy-Compliant LLM Agents

PolicyGuide compiles each domain policy into a workflow graph and invokes a proactive verifier at user-turn boundaries and finds the lowest observed attack-success rate under adversarial users and the strongest procedural compliance in an author-designed workflow-level validation.

Seongjae Kang, Taehyung Yu, Sung Ju Hwang · 2 citations

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