Cover Image

Quantum Program Linting with LLMs: Emerging Results from a Comparative Study

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Shin, Seung Yeob, Pastore, Fabrizio, Bianculli, Domenico
Format:	Preprint
Published:	2025
Subjects:	Software Engineering
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Beyond Rules: LLM-Powered Linting for Quantum Programs
by: Cassieri, Pietro, et al.
Published: (2026)

Randomized and Diverse Input State Generation for Quantum Program Testing
by: Ernzer, Maryse, et al.
Published: (2026)

Towards Generating Executable Metamorphic Relations Using Large Language Models
by: Shin, Seung Yeob, et al.
Published: (2024)

Can LLMs Solve Science or Just Write Code? Evaluating Quantum Solver Generation
by: Baresi, Luciano, et al.
Published: (2026)

Testing CPS with Design Assumptions-Based Metamorphic Relations and Genetic Programming
by: Mandrioli, Claudio, et al.
Published: (2024)

Stress Testing Control Loops in Cyber-Physical Systems
by: Mandrioli, Claudio, et al.
Published: (2023)

A Piece of QAICCC: Towards a Countermeasure Against Crosstalk Attacks in Quantum Servers
by: Marquer, Yoann, et al.
Published: (2025)

Towards a Taxonomy of Software Log Smells
by: Saarimäki, Nyyti, et al.
Published: (2024)

Rigorous Assessment of Model Inference Accuracy using Language Cardinality
by: Clun, Donato, et al.
Published: (2022)

Impact of Log Parsing on Deep Learning-Based Anomaly Detection
by: Khan, Zanis Ali, et al.
Published: (2023)

Learning-Guided Fuzzing for Testing Stateful SDN Controllers
by: Ollando, Raphaël, et al.
Published: (2024)

Diagnosing Violations of State-based Specifications in iCFTL
by: Stratan, Cristina, et al.
Published: (2025)

Test Schedule Generation for Acceptance Testing of Mission-Critical Satellite Systems
by: Ollando, Raphaël, et al.
Published: (2025)

Systematic Evaluation of Deep Learning Models for Log-based Failure Prediction
by: Hadadi, Fatemeh, et al.
Published: (2023)

Code Linting using Language Models
by: Holden, Darren, et al.
Published: (2024)

Analyzing Quantum Programs with LintQ: A Static Analysis Framework for Qiskit
by: Paltenghi, Matteo, et al.
Published: (2023)

LLM meets ML: Data-efficient Anomaly Detection on Unstable Logs
by: Hadadi, Fatemeh, et al.
Published: (2024)

Trace Diagnostics for Signal-based Temporal Properties
by: Boufaied, Chaima, et al.
Published: (2022)

MetaLint: Easy-to-Hard Generalization for Code Linting
by: Naik, Atharva, et al.
Published: (2025)

ng-reactive-lint: Smarter Linting for Angular Apps
by: Balasubramanian, Shrinivass Arunachalam
Published: (2025)

A Machine Learning Approach for Automated Filling of Categorical Fields in Data Entry Forms
by: Belgacem, Hichem, et al.
Published: (2022)

Learning-Based Relaxation of Completeness Requirements for Data Entry Forms
by: Belgacem, Hichem, et al.
Published: (2023)

SAGA: Detecting Security Vulnerabilities Using Static Aspect Analysis
by: Marquer, Yoann, et al.
Published: (2026)

A Comprehensive Study of Machine Learning Techniques for Log-Based Anomaly Detection
by: Ali, Shan, et al.
Published: (2023)

Linting Style and Substance in READMEs
by: Mynampaty, Hima, et al.
Published: (2026)

GDPR-Relevant Privacy Concerns in Mobile Apps Research: A Systematic Literature Review
by: Cejas, Orlando Amaral, et al.
Published: (2024)

Fuzzing-based Mutation Testing of C/C++ Software in Cyber-Physical Systems
by: Lee, Jaekwon, et al.
Published: (2025)

GAN-enhanced Simulation-driven DNN Testing in Absence of Ground Truth
by: Attaoui, Mohammed, et al.
Published: (2025)

Search-based DNN Testing and Retraining with GAN-enhanced Simulations
by: Attaoui, Mohammed Oualid, et al.
Published: (2024)

Testing Updated Apps by Adapting Learned Models
by: Ngo, Chanh-Duc, et al.
Published: (2023)

Field-based Security Testing of SDN configuration Updates
by: Malik, Jahanzaib, et al.
Published: (2024)

MOTIF: A tool for Mutation Testing with Fuzzing
by: Lee, Jaekwon, et al.
Published: (2024)

Learning Failure-Inducing Models for Testing Software-Defined Networks
by: Ollando, Raphaël, et al.
Published: (2022)

An Empirically-grounded tool for Automatic Prompt Linting and Repair: A Case Study on Bias, Vulnerability, and Optimization in Developer Prompts
by: Rzig, Dhia Elhaq, et al.
Published: (2025)

CodeAD: Synthesize Code of Rules for Log-based Anomaly Detection with LLMs
by: Huang, Junjie, et al.
Published: (2025)

Large Language Model for Vulnerability Detection: Emerging Results and Future Directions
by: Zhou, Xin, et al.
Published: (2024)

Fault Localisation and Repair for DL Systems: An Empirical Study with LLMs
by: Kim, Jinhan, et al.
Published: (2025)

Large Language Models for Energy-Efficient Code: Emerging Results and Future Directions
by: Peng, Huiyun, et al.
Published: (2024)

Supporting Safety Analysis of Image-processing DNNs through Clustering-based Approaches
by: Attaoui, Mohammed Oualid, et al.
Published: (2023)

Automated Extract Method Refactoring with Open-Source LLMs: A Comparative Study
by: Chand, Sivajeet, et al.
Published: (2025)