Buchumschlag

Using quantum annealing to generate test cases for cyber-physical systems

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Araujo, Hugo, Wang, Xinyi, Mousavi, Mohammad, Ali, Shaukat
Format:	Preprint
Veröffentlicht:	2025
Schlagworte:	Emerging Technologies Software Engineering
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

LLM4VV: Evaluating Cutting-Edge LLMs for Generation and Evaluation of Directive-Based Parallel Programming Model Compiler Tests
von: Sollenberger, Zachariah, et al.
Veröffentlicht: (2025)

A Context-Driven Approach for Co-Auditing Smart Contracts with The Support of GPT-4 code interpreter
von: Bouafif, Mohamed Salah, et al.
Veröffentlicht: (2024)

Establishment of a Blockchain-based Architecture for Fake News Detection
von: Graciano-Neto, Valdemar Vicente, et al.
Veröffentlicht: (2024)

TwinArch: A Digital Twin Reference Architecture
von: Somma, Alessandra, et al.
Veröffentlicht: (2025)

Process Analytics -- Data-driven Business Process Management
von: Stierle, Matthias, et al.
Veröffentlicht: (2025)

Towards Change Impact Analysis in Microservices-based System Evolution
von: Cerny, Tomas, et al.
Veröffentlicht: (2025)

From over-reliance to smart integration: using Large-Language Models as translators between specialized modeling and simulation tools
von: Giabbanelli, Philippe J., et al.
Veröffentlicht: (2025)

A Semantic Framework for Patient Digital Twins in Chronic Care
von: Elgammal, Amal, et al.
Veröffentlicht: (2025)

A Domain-specific Language and Architecture for Detecting Process Activities from Sensor Streams in IoT
von: Seiger, Ronny, et al.
Veröffentlicht: (2025)

DevOps Automation Pipeline Deployment with IaC (Infrastructure as Code)
von: Saxena, Adarsh, et al.
Veröffentlicht: (2025)

Programmers Aren't Obsolete Yet: A Syllabus for Teaching CS Students to Responsibly Use Large Language Models for Code Generation
von: Cipriano, Bruno Pereira, et al.
Veröffentlicht: (2025)

Systems of Twinned Systems: A Systematic Literature Review
von: Adesanya, Feyi, et al.
Veröffentlicht: (2025)

Model Context Protocol (MCP) at First Glance: Studying the Security and Maintainability of MCP Servers
von: Hasan, Mohammed Mehedi, et al.
Veröffentlicht: (2025)

Verification of Digital Twins using Classical and Statistical Model Checking
von: Gunasekaran, Raghavendran, et al.
Veröffentlicht: (2025)

Utilizing Composer Packages to Accelerate Laravel-Based Project Development Among Students: A Pedagogical and Practical Framework
von: Wahid, Rohaizah Abdul, et al.
Veröffentlicht: (2025)

An Empirical Study of Testing Practices in Open Source AI Agent Frameworks and Agentic Applications
von: Hasan, Mohammed Mehedi, et al.
Veröffentlicht: (2025)

Design and Implementation of Flutter based Multi-platform Docker Controller App
von: Saxena, Adarsh, et al.
Veröffentlicht: (2025)

The Rise of the Software-Defined Vehicle: Architectures, Enabling Technologies, and Future Opportunities
von: Liotou, Eirini, et al.
Veröffentlicht: (2026)

Reformulating Regression Test Suite Optimization using Quantum Annealing -- an Empirical Study
von: Trovato, Antonio, et al.
Veröffentlicht: (2024)

Service Weaver: A Promising Direction for Cloud-native Systems?
von: Johnson, Jacoby, et al.
Veröffentlicht: (2024)

Beyond words and actions: Exploring Multimodal Analytics and Collaboration in the Digital Age
von: Miranda, Diego, et al.
Veröffentlicht: (2024)

Digital Twin Evolution for Sustainable Smart Ecosystems
von: Michael, Judith, et al.
Veröffentlicht: (2024)

Software-Defined Vehicle Ecosystems in Transformation -- A Systematic Literature Review
von: Hietala, Heidi, et al.
Veröffentlicht: (2026)

Quantum Software Architecture Framework (QSAF): A Component-Based Framework for Designing Hybrid Quantum-Classical Systems
von: Kiwelekar, Arvind W., et al.
Veröffentlicht: (2026)

Model Context Protocol (MCP) Tool Descriptions Are Smelly! Towards Improving AI Agent Efficiency with Augmented MCP Tool Descriptions
von: Hasan, Mohammed Mehedi, et al.
Veröffentlicht: (2026)

A Construction-Phase Digital Twin Framework for Quality Assurance and Decision Support in Civil Infrastructure Projects
von: Islam, Md Asiful, et al.
Veröffentlicht: (2026)

Nix: A Solution With Problems
von: Zwinger, Matias
Veröffentlicht: (2026)

A Curated List of Open-source Software-only Energy Efficiency Measurement Tools: A GitHub Mining Study
von: Cannizza, Manuela Bechara, et al.
Veröffentlicht: (2026)

LLMs Still Can't Avoid Instanceof: An Investigation Into GPT-3.5, GPT-4 and Bard's Capacity to Handle Object-Oriented Programming Assignments
von: Cipriano, Bruno Pereira, et al.
Veröffentlicht: (2024)

Investigating the Role of Cultural Values in Adopting Large Language Models for Software Engineering
von: Lambiase, Stefano, et al.
Veröffentlicht: (2024)

Loop unrolling: formal definition and application to testing
von: Huang, Li, et al.
Veröffentlicht: (2025)

Automatic Qiskit Code Refactoring Using Large Language Models
von: Suárez, José Manuel, et al.
Veröffentlicht: (2025)

LLM as a code generator in Agile Model Driven Development
von: Sadik, Ahmed R., et al.
Veröffentlicht: (2024)

Exploration of Evolving Quantum Key Distribution Network Architecture Using Model-Based Systems Engineering
von: Ishida, Hayato, et al.
Veröffentlicht: (2025)

TraceLLM: Security Diagnosis Through Traces and Smart Contracts in Ethereum
von: Wang, Shuzheng, et al.
Veröffentlicht: (2025)

GIScience in the Era of Artificial Intelligence: A Research Agenda Towards Autonomous GIS
von: Li, Zhenlong, et al.
Veröffentlicht: (2025)

PrediPrune: Reducing Verification Overhead in Souper with Machine Learning Driven Pruning
von: Ishimwe, Ange-Thierry, et al.
Veröffentlicht: (2025)

LuGo: an Enhanced Quantum Phase Estimation Implementation
von: Lu, Chao, et al.
Veröffentlicht: (2025)

An AST-guided LLM Approach for SVRF Code Synthesis
von: Abdelmalak, Abanoub E., et al.
Veröffentlicht: (2025)

Lessons Learned from the Use of Generative AI in Engineering and Quality Assurance of a WEB System for Healthcare
von: Travassos, Guilherme H., et al.
Veröffentlicht: (2025)