Buchumschlag

Loop unrolling: formal definition and application to testing

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Huang, Li, Meyer, Bertrand, Weber, Reto
Format:	Preprint
Veröffentlicht:	2025
Schlagworte:	Software Engineering Emerging Technologies Logic in Computer Science
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Programming Really Is Simple Mathematics
von: Meyer, Bertrand, et al.
Veröffentlicht: (2025)

A formal definition of loop unrolling with applications to test coverage
von: Meyer, Bertrand
Veröffentlicht: (2024)

Federated Formal Verification: Cross-Backend Citation, Cross-Axis Convergence, and AI-Orchestrated Proof Dispatch for Production Systems
von: Falda, Pierre
Veröffentlicht: (2026)

Bridging eResearch Infrastructure and Experimental Materials Science Process in the Quantum Data Hub
von: Gupta, Amarnath, et al.
Veröffentlicht: (2024)

Using quantum annealing to generate test cases for cyber-physical systems
von: Araujo, Hugo, et al.
Veröffentlicht: (2025)

Design and Evaluation of a Microservices Cloud Framework for Online Travel Platforms
von: Barua, Biman, et al.
Veröffentlicht: (2025)

Data Architectures for AI-Ready Interoperable Public Transportation Ecosystems
von: Da Silva, Diego, et al.
Veröffentlicht: (2026)

A Coalgebraic Model of Quantum Bisimulation
von: Ceragioli, Lorenzo, et al.
Veröffentlicht: (2025)

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)

Model Context Protocol (MCP) at First Glance: Studying the Security and Maintainability of MCP Servers
von: Hasan, Mohammed Mehedi, 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)

A Systematic Review and Layered Framework for Privacy-by-Design in Self-Sovereign Identity Systems
von: Naghmouchi, Montassar, et al.
Veröffentlicht: (2025)

Green Metrics Tool: Measuring for fun and profit
von: Hoffmann, Geerd-Dietger, et al.
Veröffentlicht: (2025)

Introduction to Digital Twins for the Smart Grid
von: Liu, Xiaoran, et al.
Veröffentlicht: (2026)

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)

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

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)

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)

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)

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)

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)

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)

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

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)