Buchumschlag

GUISpector: An MLLM Agent Framework for Automated Verification of Natural Language Requirements in GUI Prototypes

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Kolthoff, Kristian, Kretzer, Felix, Ponzetto, Simone Paolo, Maedche, Alexander, Bartelt, Christian
Format:	Preprint
Veröffentlicht:	2025
Schlagworte:	Software Engineering
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

GUIDE: LLM-Driven GUI Generation Decomposition for Automated Prototyping
von: Kolthoff, Kristian, et al.
Veröffentlicht: (2025)

Interlinking User Stories and GUI Prototyping: A Semi-Automatic LLM-based Approach
von: Kolthoff, Kristian, et al.
Veröffentlicht: (2024)

GUI-ReRank: Enhancing GUI Retrieval with Multi-Modal LLM-based Reranking
von: Kolthoff, Kristian, et al.
Veröffentlicht: (2025)

Self-Elicitation of Requirements with Automated GUI Prototyping
von: Kolthoff, Kristian, et al.
Veröffentlicht: (2024)

Zero-Shot Prompting Approaches for LLM-based Graphical User Interface Generation
von: Kolthoff, Kristian, et al.
Veröffentlicht: (2024)

AUITestAgent: Automatic Requirements Oriented GUI Function Testing
von: Hu, Yongxiang, et al.
Veröffentlicht: (2024)

Gamified GUI testing with Selenium in the IntelliJ IDE: A Prototype Plugin
von: Garaccione, Giacomo, et al.
Veröffentlicht: (2024)

Temac: Multi-Agent Collaboration for Automated Web GUI Testing
von: Liu, Chenxu, et al.
Veröffentlicht: (2025)

LLM-Based Static Verification of Code Against Natural-Language Requirements: An Industrial Experience Report
von: Zhou, Zhi Quan, et al.
Veröffentlicht: (2026)

Automated Testing of the GUI of a Real-Life Engineering Software using Large Language Models
von: Rosenbach, Tim, et al.
Veröffentlicht: (2025)

Natural Language Processing for Requirements Traceability
von: Guo, Jin L. C., et al.
Veröffentlicht: (2024)

LLMREI: Automating Requirements Elicitation Interviews with LLMs
von: Korn, Alexander, et al.
Veröffentlicht: (2025)

From Task to Tutorial: An Automated GUI Framework for Excel Tutorial Document and Video Creation
von: Xie, Yuhang, et al.
Veröffentlicht: (2025)

Deep Reinforcement Learning for Automated Web GUI Testing
von: Gu, Zhiyu, et al.
Veröffentlicht: (2025)

On the Impact of Requirements Smells in Prompts: The Case of Automated Traceability
von: Vogelsang, Andreas, et al.
Veröffentlicht: (2025)

MARE: Multi-Agents Collaboration Framework for Requirements Engineering
von: Jin, Dongming, et al.
Veröffentlicht: (2024)

NOMAD: A Multi-Agent LLM System for UML Class Diagram Generation from Natural Language Requirements
von: Giannouris, Polydoros, et al.
Veröffentlicht: (2025)

Bridging Natural Language and Formal Specification--Automated Translation of Software Requirements to LTL via Hierarchical Semantics Decomposition Using LLMs
von: Ma, Zhi, et al.
Veröffentlicht: (2025)

Requirements Coverage-Guided Minimization for Natural Language Test Cases
von: Pan, Rongqi, et al.
Veröffentlicht: (2025)

Automated Requirements Relation Extraction
von: Motger, Quim, et al.
Veröffentlicht: (2024)

Enabling Automated Integration Testing of Smart Farming Applications via Digital Twin Prototypes
von: Barbie, Alexander, et al.
Veröffentlicht: (2023)

Improving Requirements Completeness: Automated Assistance through Large Language Models
von: Luitel, Dipeeka, et al.
Veröffentlicht: (2023)

A System Model Generation Benchmark from Natural Language Requirements
von: Jin, Dongming, et al.
Veröffentlicht: (2025)

Spec2Control: Automating PLC/DCS Control-Logic Engineering from Natural Language Requirements with LLMs - A Multi-Plant Evaluation
von: Koziolek, Heiko, et al.
Veröffentlicht: (2025)

Challenges of Requirements Communication and Digital Assets Verification in Infrastructure Projects
von: Abdeen, Waleed, et al.
Veröffentlicht: (2025)

Formal Verification of Ecosystem Restoration Requirements using UML and Alloy
von: Sousa, Tiago, et al.
Veröffentlicht: (2024)

VLAA-GUI: Knowing When to Stop, Recover, and Search, A Modular Framework for GUI Automation
von: Han, Qijun, et al.
Veröffentlicht: (2026)

Practical Guidelines for the Selection and Evaluation of Natural Language Processing Techniques in Requirements Engineering
von: Sabetzadeh, Mehrdad, et al.
Veröffentlicht: (2024)

Neurosymbolic Auditing of Natural-Language Software Requirements
von: Hall, Bethel, et al.
Veröffentlicht: (2026)

Towards Systematic Specification and Verification of Fairness Requirements: A Position Paper
von: Ramadan, Qusai, et al.
Veröffentlicht: (2025)

Incorporating Verification Standards for Security Requirements Generation from Functional Specifications
von: Lian, Xiaoli, et al.
Veröffentlicht: (2025)

VeriODD: From YAML to SMT-LIB -- Automating Verification of Operational Design Domains
von: Rafie, Bassel, et al.
Veröffentlicht: (2025)

Using Large Language Models for Natural Language Processing Tasks in Requirements Engineering: A Systematic Guideline
von: Vogelsang, Andreas, et al.
Veröffentlicht: (2024)

Towards a Software Reference Architecture for Natural Language Processing Tools in Requirements Engineering
von: Frattini, Julian, et al.
Veröffentlicht: (2026)

Automated Formalization of Probabilistic Requirements from Structured Natural Language
von: Mavridou, Anastasia, et al.
Veröffentlicht: (2025)

Multi-Agent Debate Strategies to Enhance Requirements Engineering with Large Language Models
von: Oriol, Marc, et al.
Veröffentlicht: (2025)

Selene: Pioneering Automated Proof in Software Verification
von: Zhang, Lichen, et al.
Veröffentlicht: (2024)

Agents4PLC: Automating Closed-loop PLC Code Generation and Verification in Industrial Control Systems using LLM-based Agents
von: Liu, Zihan, et al.
Veröffentlicht: (2024)

Emergent Software Service Platform and its Application in a Smart Mobility Setting
von: Wilken, Nils, et al.
Veröffentlicht: (2023)

WebTestPilot: Agentic End-to-End Web Testing against Natural Language Specification by Inferring Oracles with Symbolized GUI Elements
von: Teoh, Xiwen, et al.
Veröffentlicht: (2026)