Beyond Rules: LLM-Powered Linting for Quantum Programs
Fuente:
arXiv
Saved in:
| Main Authors: | Cassieri, Pietro, Scanniello, Giuseppe, Shin, Seung Yeob, Pastore, Fabrizio, Bianculli, Domenico |
|---|---|
| Format: | Preprint |
| Published: |
2026
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
Quantum Program Linting with LLMs: Emerging Results from a Comparative Study
by: Shin, Seung Yeob, et al.
Published: (2025)
by: Shin, Seung Yeob, et al.
Published: (2025)
Randomized and Diverse Input State Generation for Quantum Program Testing
by: Ernzer, Maryse, et al.
Published: (2026)
by: Ernzer, Maryse, et al.
Published: (2026)
Towards Generating Executable Metamorphic Relations Using Large Language Models
by: Shin, Seung Yeob, et al.
Published: (2024)
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)
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)
by: Mandrioli, Claudio, et al.
Published: (2024)
Do LLMs Provide Links to Code Similar to what they Generate? A Study with Gemini and Bing CoPilot
by: Bifolco, Daniele, et al.
Published: (2025)
by: Bifolco, Daniele, et al.
Published: (2025)
Stress Testing Control Loops in Cyber-Physical Systems
by: Mandrioli, Claudio, et al.
Published: (2023)
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)
by: Marquer, Yoann, et al.
Published: (2025)
Towards a Taxonomy of Software Log Smells
by: Saarimäki, Nyyti, et al.
Published: (2024)
by: Saarimäki, Nyyti, et al.
Published: (2024)
Dealing with SonarQube Cloud: Initial Results from a Mining Software Repository Study
by: Nocera, Sabato, et al.
Published: (2025)
by: Nocera, Sabato, et al.
Published: (2025)
Rigorous Assessment of Model Inference Accuracy using Language Cardinality
by: Clun, Donato, et al.
Published: (2022)
by: Clun, Donato, et al.
Published: (2022)
LLM meets ML: Data-efficient Anomaly Detection on Unstable Logs
by: Hadadi, Fatemeh, et al.
Published: (2024)
by: Hadadi, Fatemeh, et al.
Published: (2024)
Further Evidence on a Controversial Topic about Human-Based Experiments: Professionals vs. Students
by: Romano, Simone, et al.
Published: (2025)
by: Romano, Simone, et al.
Published: (2025)
Impact of Log Parsing on Deep Learning-Based Anomaly Detection
by: Khan, Zanis Ali, et al.
Published: (2023)
by: Khan, Zanis Ali, et al.
Published: (2023)
Learning-Guided Fuzzing for Testing Stateful SDN Controllers
by: Ollando, Raphaël, et al.
Published: (2024)
by: Ollando, Raphaël, et al.
Published: (2024)
Diagnosing Violations of State-based Specifications in iCFTL
by: Stratan, Cristina, et al.
Published: (2025)
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)
by: Ollando, Raphaël, et al.
Published: (2025)
Augmenting Software Bills of Materials with Software Vulnerability Description: A Preliminary Study on GitHub
by: Fucci, Davide, et al.
Published: (2025)
by: Fucci, Davide, et al.
Published: (2025)
Systematic Evaluation of Deep Learning Models for Log-based Failure Prediction
by: Hadadi, Fatemeh, et al.
Published: (2023)
by: Hadadi, Fatemeh, et al.
Published: (2023)
Software Security Analysis in 2030 and Beyond: A Research Roadmap
by: Böhme, Marcel, et al.
Published: (2024)
by: Böhme, Marcel, et al.
Published: (2024)
Code Linting using Language Models
by: Holden, Darren, et al.
Published: (2024)
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)
by: Paltenghi, Matteo, et al.
Published: (2023)
Trace Diagnostics for Signal-based Temporal Properties
by: Boufaied, Chaima, et al.
Published: (2022)
by: Boufaied, Chaima, et al.
Published: (2022)
MetaLint: Easy-to-Hard Generalization for Code Linting
by: Naik, Atharva, et al.
Published: (2025)
by: Naik, Atharva, et al.
Published: (2025)
ng-reactive-lint: Smarter Linting for Angular Apps
by: Balasubramanian, Shrinivass Arunachalam
Published: (2025)
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)
by: Belgacem, Hichem, et al.
Published: (2022)
Learning-Based Relaxation of Completeness Requirements for Data Entry Forms
by: Belgacem, Hichem, et al.
Published: (2023)
by: Belgacem, Hichem, et al.
Published: (2023)
MBSR at Work: Perspectives from an Instructor and Software Developers
by: Romano, Simone, et al.
Published: (2025)
by: Romano, Simone, et al.
Published: (2025)
SAGA: Detecting Security Vulnerabilities Using Static Aspect Analysis
by: Marquer, Yoann, et al.
Published: (2026)
by: Marquer, Yoann, et al.
Published: (2026)
Linting Style and Substance in READMEs
by: Mynampaty, Hima, et al.
Published: (2026)
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)
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)
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)
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)
by: Attaoui, Mohammed Oualid, et al.
Published: (2024)
Testing Updated Apps by Adapting Learned Models
by: Ngo, Chanh-Duc, et al.
Published: (2023)
by: Ngo, Chanh-Duc, et al.
Published: (2023)
A Comprehensive Study of Machine Learning Techniques for Log-Based Anomaly Detection
by: Ali, Shan, et al.
Published: (2023)
by: Ali, Shan, et al.
Published: (2023)
CodeAD: Synthesize Code of Rules for Log-based Anomaly Detection with LLMs
by: Huang, Junjie, et al.
Published: (2025)
by: Huang, Junjie, et al.
Published: (2025)
Field-based Security Testing of SDN configuration Updates
by: Malik, Jahanzaib, et al.
Published: (2024)
by: Malik, Jahanzaib, et al.
Published: (2024)
Neural Fault Injection: Generating Software Faults from Natural Language
by: Cotroneo, Domenico, et al.
Published: (2024)
by: Cotroneo, Domenico, et al.
Published: (2024)
MOTIF: A tool for Mutation Testing with Fuzzing
by: Lee, Jaekwon, et al.
Published: (2024)
by: Lee, Jaekwon, et al.
Published: (2024)
Similar Items
-
Quantum Program Linting with LLMs: Emerging Results from a Comparative Study
by: Shin, Seung Yeob, et al.
Published: (2025) -
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)