Imagen de Portada

Validation of an analyzability model for quantum software: a family of experiments

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Díaz-Muñoz, Ana, Cruz-Lemus, José A., Rodríguez, Moisés, Baldassarre, Maria Teresa, Piattini, Mario
Formato:	Preprint
Publicado:	2026
Materias:	Software Engineering 68N30 (Software engineering), 81P68 (Quantum computation) D.2.8; D.2.4; F.1.2
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

Assessing Reliability of Statistical Maximum Coverage Estimators in Fuzzing
por: Liyanage, Danushka, et al.
Publicado: (2025)

Methods for evaluating software accessibility
por: Kuz, Mykola, et al.
Publicado: (2025)

Trace Validation of Unmodified Concurrent Systems with OmniLink
por: Hackett, Finn, et al.
Publicado: (2026)

Contribution Rate Imputation Theory: A Conceptual Model
por: Bishop III, Vincil, et al.
Publicado: (2024)

Evaluating Software Contribution Quality: Time-to-Modification Theory
por: Bishop III, Vincil, et al.
Publicado: (2024)

Conflict Essences for Transformation Rules with Nested Application Conditions -- Long Version
por: Lauer, Alexander, et al.
Publicado: (2026)

AI for software engineering: from probable to provable
por: Meyer, Bertrand
Publicado: (2025)

Formal Methods: From Academia to Industrial Practice. A Travel Guide
por: Huisman, Marieke, et al.
Publicado: (2020)

Finding a Crab in the C: Assured Translation via Comparative Symbolic Execution
por: Helbling, Caleb, et al.
Publicado: (2026)

cozy: Comparative Symbolic Execution for Binary Programs
por: Helbling, Caleb, et al.
Publicado: (2025)

Model Contribution Rate Theory: An Empirical Examination
por: Bishop, Vincil, et al.
Publicado: (2024)

Chain-Oriented Objective Logic with Neural Network Feedback Control and Cascade Filtering for Dynamic Multi-DSL Regulation
por: Han, Jipeng
Publicado: (2024)

MoCheQoS: Automated Analysis of Quality of Service Properties of Communicating Systems
por: Pombo, Carlos G. Lopez, et al.
Publicado: (2023)

The ACPATH Metric: Precise Estimation of the Number of Acyclic Paths in C-like Languages
por: Bagnara, Roberto, et al.
Publicado: (2016)

Verifying Correctness of PLC Software during System Evolution using Model Containment Approach
por: Bandyopadhyay, Soumyadip, et al.
Publicado: (2025)

Three Decades of Formal Methods in Business Process Compliance: A Systematic Literature Review
por: López, Hugo A., et al.
Publicado: (2024)

Comparing Human and LLM Generated Code: The Jury is Still Out!
por: Licorish, Sherlock A., et al.
Publicado: (2025)

Context Engineering for Multi-Agent LLM Code Assistants Using Elicit, NotebookLM, ChatGPT, and Claude Code
por: Haseeb, Muhammad
Publicado: (2025)

A Prompt Learning Framework for Source Code Summarization
por: Xu, Tingting, et al.
Publicado: (2023)

Generative AI and the Transformation of Software Development Practices
por: Acharya, Vivek
Publicado: (2025)

InterEvo-TR: Interactive Evolutionary Test Generation With Readability Assessment
por: Delgado-Pérez, Pedro, et al.
Publicado: (2024)

Resilient Microservices: A Systematic Review of Recovery Patterns, Strategies, and Evaluation Frameworks
por: Mohammad, Muzeeb
Publicado: (2025)

Analyzing the Adoption of Database Management Systems Throughout the History of Open Source Projects
por: Paiva, Camila A., et al.
Publicado: (2026)

GBM Returns the Best Prediction Performance among Regression Approaches: A Case Study of Stack Overflow Code Quality
por: Licorish, Sherlock A., et al.
Publicado: (2025)

GEML: A Grammar-based Evolutionary Machine Learning Approach for Design-Pattern Detection
por: Barbudo, Rafael, et al.
Publicado: (2024)

The Integration of Agile Methodologies in DevOps Practices within the Information Technology Industry
por: Hourigan, Ashley, et al.
Publicado: (2025)

RepoAudit: An Autonomous LLM-Agent for Repository-Level Code Auditing
por: Guo, Jinyao, et al.
Publicado: (2025)

SDVDiag: Using Context-Aware Causality Mining for the Diagnosis of Connected Vehicle Functions
por: Weiß, Matthias, et al.
Publicado: (2026)

QHackBench: Benchmarking Large Language Models for Quantum Code Generation Using PennyLane Hackathon Challenges
por: Basit, Abdul, et al.
Publicado: (2025)

A RAG Method for Source Code Inquiry Tailored to Long-Context LLMs
por: Kamiya, Toshihiro
Publicado: (2024)

NOETHER: A Constructive Framework for Metamorphic Pattern Discovery from Operator Algebras
por: Li, Meng, et al.
Publicado: (2026)

React-ing to Grace Hopper 200: Five Open-Weights Coding Models, One React Native App, One GH200, One Weekend
por: Potanin, Alex
Publicado: (2026)

Multimodal Generative AI for Story Point Estimation in Software Development
por: Islam, Mohammad Rubyet, et al.
Publicado: (2025)

Software for Studying CASCADE Error Correction Protocols in Quantum Communications
por: Repnkiov, Nikita, et al.
Publicado: (2025)

Contract-based Verification of Digital Twins
por: Naeem, Muhammad, et al.
Publicado: (2025)

DRS-OSS: Practical Diff Risk Scoring with LLMs
por: Sayedsalehi, Ali, et al.
Publicado: (2025)

Nested Grover's Algorithm for Tree Search
por: Wichert, Andreas
Publicado: (2025)

Tool-Assisted Conformance Checking to Reference Process Models
por: Rumpe, Bernhard, et al.
Publicado: (2025)

Towards the interoperability of low-code platforms
por: Alfonso, Iván, et al.
Publicado: (2024)

LLMDFA: Analyzing Dataflow in Code with Large Language Models
por: Wang, Chengpeng, et al.
Publicado: (2024)