Cover Image

A Hybrid Execution Environment for Computer-Interpretable Guidelines in PROforma

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Kogan, Alexandra, Leizer, Roy, Wilk, Szymon, Glasspool, David
Format:	Preprint
Published:	2024
Subjects:	Software Engineering
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Are the Majority of Public Computational Notebooks Pathologically Non-Executable?
by: Nguyen, Tien, et al.
Published: (2025)

An Infrastructure Software Perspective Toward Computation Offloading between Executable Specifications and Foundation Models
by: Ran, Dezhi, et al.
Published: (2025)

S$^2$F: Principled Hybrid Testing With Fuzzing, Symbolic Execution, and Sampling
by: Wang, Lianjing, et al.
Published: (2026)

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

CUTECat: Concolic Execution for Computational Law
by: Goutagny, Pierre, et al.
Published: (2024)

Fakeium: A Dynamic Execution Environment for JavaScript Program Analysis
by: Moreno, José Miguel, et al.
Published: (2024)

Automatic Generation of Executable BPMN Models from Medical Guidelines
by: Sekar, Praveen Kumar Menaka, et al.
Published: (2026)

Ten Essential Guidelines for Building High-Quality Research Software
by: Eisty, Nasir U., et al.
Published: (2025)

Compiling Code LLMs into Lightweight Executables
by: Shi, Jieke, et al.
Published: (2026)

Quantum Software Engineering and Potential of Quantum Computing in Software Engineering Research: A Review
by: Mandal, Ashis Kumar, et al.
Published: (2025)

Teaching LLMs to Learn Tool Trialing and Execution through Environment Interaction
by: Gao, Xingjie, et al.
Published: (2026)

Toward Executable Repository-Level Code Generation via Environment Alignment
by: Pan, Ruwei, et al.
Published: (2026)

Tree-of-Code: A Hybrid Approach for Robust Complex Task Planning and Execution
by: Ni, Ziyi, et al.
Published: (2024)

What You Trust Is Insecure: Demystifying How Developers (Mis)Use Trusted Execution Environments in Practice
by: Niu, Yuqing, et al.
Published: (2025)

EZInput: A Cross-Environment Python Library for Easy UI Generation in Scientific Computing
by: Saraiva, Bruno M., et al.
Published: (2026)

Execution-free Program Repair
by: Huang, Li, et al.
Published: (2024)

ResearchEnvBench: Benchmarking Agents on Environment Synthesis for Research Code Execution
by: Wang, Yubang, et al.
Published: (2026)

Turbulence: Systematically and Automatically Testing Instruction-Tuned Large Language Models for Code
by: Honarvar, Shahin, et al.
Published: (2023)

Servicifying zk-SNARKs Execution for Verifiable Off-chain Computations
by: Domenech, Alvaro Alonso, et al.
Published: (2024)

Qubernetes: Towards a Unified Cloud-Native Execution Platform for Hybrid Classic-Quantum Computing
by: Stirbu, Vlad, et al.
Published: (2024)

Towards a Robust Quality Assurance Framework for Cloud Computing Environments
by: Alharbi, Mohammed, et al.
Published: (2025)

On the Contents and Utility of IoT Cybersecurity Guidelines
by: Chen, Jesse, et al.
Published: (2023)

Guidelines for Developing Bots for GitHub
by: Wessel, Mairieli, et al.
Published: (2022)

A Proposal for a Debugging Learning Support Environment for Undergraduate Students Majoring in Computer Science
by: Kanaya, Aoi, et al.
Published: (2024)

Trustworthy Distributed Certification of Program Execution
by: Wolf, Alex, et al.
Published: (2024)

DyPyBench: A Benchmark of Executable Python Software
by: Bouzenia, Islem, et al.
Published: (2024)

A Minimal Executable Proof for Multi-Language Contract Traceability
by: Kasselman, Werner
Published: (2026)

Guideline for Manual Process Discovery in Industrial IoT
by: Kölbel, Linda, et al.
Published: (2024)

Hybrid Quantum-Classical Machine Learning with PennyLane: A Comprehensive Guide for Computational Research
by: Shapiro, Sidney
Published: (2025)

Mokav: Execution-driven Differential Testing with LLMs
by: Etemadi, Khashayar, et al.
Published: (2024)

Understanding and Estimating the Execution Time of Quantum Circuits
by: Ma, Ning, et al.
Published: (2024)

Scaling Symbolic Execution to Large Software Systems
by: Horvath, Gabor, et al.
Published: (2024)

FIKA: Expanding Dependency Reachability with Executability Guarantees
by: Gamage, Yogya, et al.
Published: (2026)

Simple Fault Localization using Execution Traces
by: Prenner, Julian Aron, et al.
Published: (2025)

OpenCodeInterpreter: Integrating Code Generation with Execution and Refinement
by: Zheng, Tianyu, et al.
Published: (2024)

Towards Evaluation Guidelines for Empirical Studies involving LLMs
by: Wagner, Stefan, et al.
Published: (2024)

Developer Perspectives on REST API Usability: A Study of REST API Guidelines
by: Peldszus, Sven, et al.
Published: (2026)

Automating Execution and Verification of BPMN+DMN Business Processes
by: Della Penna, Giuseppe, et al.
Published: (2025)

SEAL: Symbolic Execution with Separation Logic (Competition Contribution)
by: Brablec, Tomáš, et al.
Published: (2026)

Detecting Anomalies in Software Execution Logs with Siamese Network
by: Hashemi, Shayan, et al.
Published: (2021)