:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Le, Viet-Man, Tran, Thi Ngoc Trang, Lubos, Sebastian, Felfernig, Alexander, Garber, Damian
Format:	Preprint
Published:	2026
Subjects:	Software Engineering Artificial Intelligence
Online Access:	https://arxiv.org/abs/2604.20523
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Towards LLM-Based Usability Analysis for Recommender User Interfaces
by: Lubos, Sebastian, et al.
Published: (2025)

Leveraging LLMs for the Quality Assurance of Software Requirements
by: Lubos, Sebastian, et al.
Published: (2024)

Recommending Usability Improvements with Multimodal Large Language Models
by: Lubos, Sebastian, et al.
Published: (2026)

Towards LLM-Enhanced Product Line Scoping
by: Felfernig, Alexander, et al.
Published: (2025)

Usability Analysis of Configurator User Interfaces with Multimodal Large Language Models
by: Lubos, Sebastian, et al.
Published: (2026)

Sustainability Evaluation Metrics for Recommender Systems
by: Felfernig, Alexander, et al.
Published: (2025)

Investigating Multimodal Large Language Models to Support Usability Evaluation
by: Lubos, Sebastian, et al.
Published: (2025)

Towards LLM-Enhanced Group Recommender Systems
by: Lubos, Sebastian, et al.
Published: (2025)

Recommender Systems for Sustainability: Overview and Research Issues
by: Felfernig, Alexander, et al.
Published: (2024)

Less is More: Towards Sustainability-Aware Persuasive Explanations in Recommender Systems
by: Tran, Thi Ngoc Trang, et al.
Published: (2024)

Assurance Case Development for Evolving Software Product Lines: A Formal Approach
by: Murphy, Logan, et al.
Published: (2025)

Extracting Formal Specifications from Documents Using LLMs for Automated Testing
by: Li, Hui, et al.
Published: (2025)

Using LLMs to Facilitate Formal Verification of RTL
by: Orenes-Vera, Marcelo, et al.
Published: (2023)

Automatic Generation of Formal Specification and Verification Annotations Using LLMs and Test Oracles
by: Faria, João Pascoal, et al.
Published: (2026)

Position: Early-Stage Quality Assurance in Annotation Pipelines Is More Cost-Effective Than Late-Stage Validation
by: Kothari, Sunil, et al.
Published: (2026)

RBCTest: Leveraging LLMs to Mine and Verify Oracles of API Response Bodies for RESTful API Testing
by: Huynh, Hieu, et al.
Published: (2025)

Feature Models
by: Felfernig, Alexander, et al.
Published: (2024)

Software Mention Recognition with a Three-Stage Framework Based on BERTology Models at SOMD 2024
by: Thi, Thuy Nguyen, et al.
Published: (2024)

Early-Stage Prediction of Review Effort in AI-Generated Pull Requests
by: Minh, Dao Sy Duy, et al.
Published: (2026)

Can LLMs Reason About Program Semantics? A Comprehensive Evaluation of LLMs on Formal Specification Inference
by: Le-Cong, Thanh, et al.
Published: (2025)

Toward an Architectural Blueprint to Observe Sustainability in and by Software Systems
by: Toczé, Klervie, et al.
Published: (2026)

W2E (Workout to Earn): A Low Cost DApp based on ERC-20 and ERC-721 standards
by: Son, Do Hai, et al.
Published: (2024)

A Semi-Formal Verification Methodology for Efficient Configuration Coverage of Highly Configurable Digital Designs
by: Kumar, Aman, et al.
Published: (2024)

AI Engineering Blueprint for On-Premises Retrieval-Augmented Generation Systems
by: Weeger, Nicolas, et al.
Published: (2026)

Towards practicable Machine Learning development using AI Engineering Blueprints
by: Weeger, Nicolas, et al.
Published: (2025)

Annotating Control-Flow Graphs for Formalized Test Coverage Criteria
by: Kauffman, Sean, et al.
Published: (2024)

A Blueprint for AI-Driven Software Quality: Integrating LLMs with Established Standards
by: Patil, Avinash
Published: (2025)

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

Every Software as an Agent: Blueprint and Case Study
by: Xu, Mengwei
Published: (2025)

From Digital Twins to Digital Twin Prototypes: Concepts, Formalization, and Applications
by: Barbie, Alexander, et al.
Published: (2024)

PLACIDUS: Engineering Product Lines of Rigorous Assurance Cases
by: Murphy, Logan, et al.
Published: (2024)

EmbC-Test: How to Speed Up Embedded Software Testing Using LLMs and RAG
by: Harnot, Maximilian, et al.
Published: (2026)

Neuro-Symbolic Generation and Validation of Memory-Aware Formal Function Specifications
by: Zhang, Liao, et al.
Published: (2026)

Towards Automated Formal Verification of Backend Systems with LLMs
by: Xu, Kangping, et al.
Published: (2025)

SecVulEval: Benchmarking LLMs for Real-World C/C++ Vulnerability Detection
by: Ahmed, Md Basim Uddin, et al.
Published: (2025)

RGFL: Reasoning Guided Fault Localization for Automated Program Repair Using Large Language Models
by: Sepidband, Melika, et al.
Published: (2026)

Generic Analysis of Model Product Lines via Constraint Lifting
by: Bayha, Andreas, et al.
Published: (2020)

WebSPL: A Software Product Line for Web Applications
by: da Luz, Maicon Azevedo, et al.
Published: (2024)

Local Features: Enhancing Variability Modeling in Software Product Lines
by: de Castro, David, et al.
Published: (2024)

Measuring the Unmeasurable: Markov Chain Reliability for LLM Agents
by: Tran-Truong, Phat T., et al.
Published: (2026)