Buchumschlag

Keeping Behavioral Programs Alive: Specifying and Executing Liveness Requirements

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Yaacov, Tom, Elyasaf, Achiya, Weiss, Gera
Format:	Preprint
Veröffentlicht:	2024
Schlagworte:	Software Engineering
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Generalized Coverage Criteria for Combinatorial Sequence Testing
von: Elyasaf, Achiya, et al.
Veröffentlicht: (2022)

Black-Box Bug-Amplification for Multithreaded Software
von: Weiss, Yeshayahu, et al.
Veröffentlicht: (2025)

Automata Models for Effective Bug Pattern Description
von: Yaacov, Tom, et al.
Veröffentlicht: (2025)

Exploring and Evaluating Interplays of BPpy with Deep Reinforcement Learning and Formal Methods
von: Yaacov, Tom, et al.
Veröffentlicht: (2025)

SpaceTime Programming: Live and Omniscient Exploration of Code and Execution
von: Döderlein, Jean-Baptiste, et al.
Veröffentlicht: (2026)

A Behavior-Based Knowledge Representation Improves Prediction of Players' Moves in Chess by 25%
von: Skidanov, Benny, et al.
Veröffentlicht: (2025)

Execution-free Program Repair
von: Huang, Li, et al.
Veröffentlicht: (2024)

A Live Extensible Ontology of Quality Factors for Textual Requirements
von: Frattini, Julian, et al.
Veröffentlicht: (2022)

Trustworthy Distributed Certification of Program Execution
von: Wolf, Alex, et al.
Veröffentlicht: (2024)

Evolving Assembly Code in an Adversarial Environment
von: Maliukov, Irina, et al.
Veröffentlicht: (2024)

Programming Language Confusion: When Code LLMs Can't Keep their Languages Straight
von: Moumoula, Micheline Bénédicte, et al.
Veröffentlicht: (2025)

Property Testing for Ocean Models. Can We Specify It? (Invited Talk)
von: Cherian, Deepak A.
Veröffentlicht: (2025)

Preguss: It Analyzes, It Specifies, It Verifies
von: Wang, Zhongyi, et al.
Veröffentlicht: (2025)

Integrating Symbolic Execution with LLMs for Automated Generation of Program Specifications
von: Yang, Fanpeng, et al.
Veröffentlicht: (2025)

It's Alive! What a Live Object Environment Changes in Software Engineering Practice
von: Grigera, Julián, et al.
Veröffentlicht: (2026)

Accelerating Patch Validation for Program Repair with Interception-Based Execution Scheduling
von: Xiao, Yuan-An, et al.
Veröffentlicht: (2023)

Extending Behavior Trees for Robotic Missions with Quality Requirements
von: Ghzouli, Razan, et al.
Veröffentlicht: (2025)

Can LLMs Recover Program Semantics? A Systematic Evaluation with Symbolic Execution
von: Feng, Rong, et al.
Veröffentlicht: (2025)

Survey of GenAI for Automotive Software Development: From Requirements to Executable Code
von: Petrovic, Nenad, et al.
Veröffentlicht: (2025)

ViMoTest: A Tool to Specify ViewModel-Based GUI Test Scenarios using Projectional Editing
von: Fuksa, Mario, et al.
Veröffentlicht: (2025)

Requirements are All You Need: From Requirements to Code with LLMs
von: Wei, Bingyang
Veröffentlicht: (2024)

STELP: Secure Transpilation and Execution of LLM-Generated Programs
von: Shinde, Swapnil, et al.
Veröffentlicht: (2026)

A Rapid Review Regarding the Concept of Legal Requirements in Requirements Engineering
von: Ruohonen, Jukka
Veröffentlicht: (2025)

Keep It Simple: Towards Accurate Vulnerability Detection for Large Code Graphs
von: Peng, Xin, et al.
Veröffentlicht: (2024)

CodeFlow: Program Behavior Prediction with Dynamic Dependencies Learning
von: Le, Cuong Chi, et al.
Veröffentlicht: (2024)

Enhancing Program Repair with Specification Guidance and Intermediate Behavioral Signals
von: Le-Anh, Minh, et al.
Veröffentlicht: (2026)

Characterizing Requirements Smells
von: Gentili, Emanuele, et al.
Veröffentlicht: (2024)

Treating Run-time Execution History as a First-Class Citizen: Co-Versioning Run-time Behavior alongside Code
von: Kessel, Marcus
Veröffentlicht: (2026)

Keep Me Updated: An Empirical Study of Proprietary Vendor Blobs in Android Firmware
von: Wen, Elliott, et al.
Veröffentlicht: (2024)

CodeSpecBench: Benchmarking LLMs for Executable Behavioral Specification Generation
von: Chen, Zaoyu, et al.
Veröffentlicht: (2026)

Automated Requirements Relation Extraction
von: Motger, Quim, et al.
Veröffentlicht: (2024)

Assisted Requirements Selection by Clustering
von: del Sagrado, José, et al.
Veröffentlicht: (2024)

Requirements Satisfiability with In-Context Learning
von: Santos, Sarah, et al.
Veröffentlicht: (2024)

UOOR: Seamless and Traceable Requirements
von: Naumcheva, Maria, et al.
Veröffentlicht: (2025)

Fakeium: A Dynamic Execution Environment for JavaScript Program Analysis
von: Moreno, José Miguel, et al.
Veröffentlicht: (2024)

Execution-Aware Program Reduction for WebAssembly via Record and Replay
von: Baek, Doehyun, et al.
Veröffentlicht: (2025)

Towards Effectively Leveraging Execution Traces for Program Repair with Code LLMs
von: Haque, Mirazul, et al.
Veröffentlicht: (2025)

Towards Quantifying Requirements Technical Debt for Software Requirements concerning Veracity: A Perspective and Research Roadmap
von: Perera, Judith, et al.
Veröffentlicht: (2024)

Learning Correct Behavior from Examples: Validating Sequential Execution in Autonomous Agents
von: Sharma, Reshabh K, et al.
Veröffentlicht: (2026)

Anteater: Interactive Visualization of Program Execution Values in Context
von: Faust, Rebecca, et al.
Veröffentlicht: (2019)