cs.SE · 2026-05-27 · No. 10

Software Engineering, 2026-05-27.

5 new papers in cs.SE. Titles, authors, abstracts. Links to arXiv. Want this in your inbox every morning? Subscribe →

01 — The papers

5 entries
  1. 01

    EdgeFlow: Edge-Map Augmented VLM-Based Flowchart Processing for Industrial Requirements Engineering

    Zhifei Dou, Shabnam Hassani, Ou Wei

    cs.SE · cs.AI · cs.CV

    Flowcharts are widely used in industrial requirements, but usually remain embedded as static images. Vision Language Models (VLMs) show promise in the conversion of these flowcharts into machine-readable models for RE activities, yet, when directly applied to flowchart conversion, they often fail on topology-critical visual details. To address this, we propose EdgeFlow that augments a VLM's original input with a deterministically extracted...

    arxiv.org/abs/2605.27332 · PDF

  2. 02

    Governed Evolution of Agent Runtimes through Executable Operational Cognition

    Mariano Garralda-Barrio

    cs.SE · cs.AI · cs.MA

    Recent advances in agentic systems increasingly treat code as an executable operational substrate rather than as a disposable output artifact. Prior work such as \emph{Code as Agent Harness} frames validated agent-generated artifacts as runtime entities that can be created, executed, revised, persisted, and reused within long-running cognitive loops. However, the governance, lifecycle management, and operational evolution of such artifacts...

    arxiv.org/abs/2605.27328 · PDF

  3. 03

    ConVer: Using Contracts and Loop Invariant Synthesis for Scalable Formal Software Verification

    Muhammad A. A. Pirzada, Weiqi Wang, Yiannis Charalambous, Konstantin Korovin, Lucas C. Cordeiro

    cs.SE · cs.AI

    Formal verification of large C programs is impeded by state-space explosion: Bounded Model Checking (BMC) tools must encode the entire state space up to the predetermined bound by unrolling all nested constructs. We present ConVer, a top-down compositional verification tool. Given a C program with a top-level assertion, ConVer decomposes verification top-down: it uses a large language model (LLM) to synthesise function contracts from the...

    arxiv.org/abs/2605.27051 · PDF

  4. 04

    Strategies for Guiding LLMs to Use Software Design Patterns: A Case of Singleton

    Viktor Kjellberg, Farnaz Fotrousi, Miroslaw Staron

    cs.SE · cs.AI

    Large Language Models (LLMs) can generate functional source code from natural-language prompts, but often fail to consistently follow higher-level architectural structures or design patterns. Since LLMs are increasingly used in software engineering, their ability to apply established design principles to generated code is crucial to the long-term success of software products. Therefore, the goal of this paper is to identify strategies for...

    arxiv.org/abs/2605.26898 · PDF

  5. 05

    HTMLCure: Turning Browser Experience into State Guided Repair for Interactive HTML

    Jiajun Wu, Jian Yang, Tuney Zheng, Wei Zhang, Haowen Wang, Yihang Lou, Xianglong Liu

    cs.SE · cs.AI

    LLMs can now produce full HTML pages, but many of those pages are only superficially correct: they render once, then fail under scroll, hover, click, resize, or gameplay. Evaluation from screenshots can miss these failures, and filtering discards many pages that are still repairable. We introduce HTMLCure, a browser experience framework that evaluates HTML after the system has interacted with it. The evaluator executes the page across...

    arxiv.org/abs/2605.26807 · PDF

This edition is part of The Daily Abstract — cs.SE archive. Subscribe to receive these in your inbox each morning, automatically translated to Spanish, with reply-to-PDF: arxivdaily.ignorelist.com.

Colophon Set in Georgia, with system sans for interface chrome and a monospaced stack for code and paper identifiers. Sole accent: amber #D99C5E. Built and served on an always-free VM. The masthead is set 14% letterspaced because newspapers do that and it works.