Cover Image

An Infrastructure Software Perspective Toward Computation Offloading between Executable Specifications and Foundation Models

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Ran, Dezhi, Wu, Mengzhou, Cao, Yuan, Marron, Assaf, Harel, David, Xie, Tao
Format:	Preprint
Published:	2025
Subjects:	Software Engineering
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Foundation Model Engineering: Engineering Foundation Models Just as Engineering Software
by: Ran, Dezhi, et al.
Published: (2024)

Preparing for Super-Reactivity: Early Fault-Detection in the Development of Exceedingly Complex Reactive Systems
by: Harel, David, et al.
Published: (2024)

Beyond Pass or Fail: Multi-Dimensional Benchmarking of Foundation Models for Goal-based Mobile UI Navigation
by: Ran, Dezhi, et al.
Published: (2025)

DeCon: Detecting Incorrect Assertions via Postconditions Generated by a Large Language Model
by: Yu, Hao, et al.
Published: (2025)

On Augmenting Scenario-Based Modeling with Generative AI
by: Harel, David, et al.
Published: (2024)

Skill-Adpative Imitation Learning for UI Test Reuse
by: Wu, Mengzhou, et al.
Published: (2024)

Expecting the Unexpected: Developing Autonomous-System Design Principles for Reacting to Unpredicted Events and Conditions
by: Marron, Assaf, et al.
Published: (2020)

AppForge: From Assistant to Independent Developer -- Are GPTs Ready for Software Development?
by: Ran, Dezhi, et al.
Published: (2025)

Toward an Agentic Infused Software Ecosystem
by: Marron, Mark
Published: (2026)

A Specification's Realm: Characterizing the Knowledge Required for Executing a Given Algorithm Specification
by: Marron, Assaf, et al.
Published: (2025)

From User Interface to Agent Interface: Efficiency Optimization of UI Representations for LLM Agents
by: Ran, Dezhi, et al.
Published: (2025)

Software Space Analytics: Towards Visualization and Statistics of Internal Software Execution
by: Saito, Shinobu
Published: (2026)

Catalpa: GC for a Low-Variance Software Stack
by: Arnold, Anthony, et al.
Published: (2025)

Toward Programming Languages for Reasoning: Humans, Symbolic Systems, and AI Agents
by: Marron, Mark
Published: (2024)

Towards Comprehensive Benchmarking Infrastructure for LLMs In Software Engineering
by: Rodriguez-Cardenas, Daniel, et al.
Published: (2026)

Towards an Ontology for the Foundations of Software Languages
by: Lämmel, Ralf
Published: (2026)

The Software Infrastructure Attitude Scale (SIAS): A Questionnaire Instrument for Measuring Professionals' Attitudes Toward Technical and Sociotechnical Infrastructure
by: Kuutila, Miikka, et al.
Published: (2025)

How Effective are Large Language Models in Generating Software Specifications?
by: Xie, Danning, et al.
Published: (2023)

Integrating Symbolic Execution with LLMs for Automated Generation of Program Specifications
by: Yang, Fanpeng, et al.
Published: (2025)

Real-Time Agile Software Management for Edge and Fog Computing Based Smart City Infrastructure
by: Jana, Debasish, et al.
Published: (2025)

Sustaining Maintenance Labor for Healthy Open Source Software Projects through Human Infrastructure: A Maintainer Perspective
by: Linåker, Johan, et al.
Published: (2024)

Quantum Computing as a Service -- a Software Engineering Perspective
by: Ahmad, Aakash, et al.
Published: (2025)

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

A New Generation of Intelligent Development Environments
by: Marron, Mark
Published: (2024)

An Effectively $Ω(c)$ Language and Runtime
by: Marron, Mark
Published: (2024)

CoderEval: A Benchmark of Pragmatic Code Generation with Generative Pre-trained Models
by: Yu, Hao, et al.
Published: (2023)

Towards Reliable Generation of Executable Workflows by Foundation Models
by: Masoumzadeh, Sogol, et al.
Published: (2025)

Foundation Models for Software Engineering of Cyber-Physical Systems: the Road Ahead
by: Lu, Chengjie, et al.
Published: (2025)

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

An Exploratory Study of V-Model in Building ML-Enabled Software: A Systems Engineering Perspective
by: Wu, Jie JW
Published: (2023)

A Hybrid Execution Environment for Computer-Interpretable Guidelines in PROforma
by: Kogan, Alexandra, et al.
Published: (2024)

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

Establishing Traceability Links between Release Notes & Software Artifacts: Practitioners' Perspectives
by: Nath, Sristy Sumana, et al.
Published: (2025)

Executable Multi-Layered Software
by: Radosky, Lukas, et al.
Published: (2025)

Towards Structured, State-Aware, and Execution-Grounded Reasoning for Software Engineering Agents
by: Tse-Hsun, et al.
Published: (2026)

CodeSpecBench: Benchmarking LLMs for Executable Behavioral Specification Generation
by: Chen, Zaoyu, et al.
Published: (2026)

Software Performance Engineering for Foundation Model-Powered Software
by: Zhang, Haoxiang, et al.
Published: (2024)

Future of Software Engineering Research: The SIGSOFT Perspective
by: Di Penta, Massimiliano, et al.
Published: (2026)

Can Large Language Models Solve Path Constraints in Symbolic Execution?
by: Wang, Wenhan, et al.
Published: (2025)

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