Cover Image

Exploring and Evaluating Interplays of BPpy with Deep Reinforcement Learning and Formal Methods

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Yaacov, Tom, Weiss, Gera, Ashrov, Adiel, Katz, Guy, Zisser, Jules
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

Keeping Behavioral Programs Alive: Specifying and Executing Liveness Requirements
by: Yaacov, Tom, et al.
Published: (2024)

Automata Models for Effective Bug Pattern Description
by: Yaacov, Tom, et al.
Published: (2025)

Generalized Coverage Criteria for Combinatorial Sequence Testing
by: Elyasaf, Achiya, et al.
Published: (2022)

Black-Box Bug-Amplification for Multithreaded Software
by: Weiss, Yeshayahu, et al.
Published: (2025)

DEM: A Method for Certifying Deep Neural Network Classifier Outputs in Aerospace
by: Katz, Guy, et al.
Published: (2024)

Statistical Runtime Verification for LLMs via Robustness Estimation
by: Levy, Natan, et al.
Published: (2025)

Reinforcement Learning with Negative Tests as Completeness Signal for Formal Specification Synthesis
by: Huang, Zhechong, et al.
Published: (2026)

Building Living Software Systems with Generative & Agentic AI
by: White, Jules
Published: (2024)

Towards Bridging Formal Methods and Human Interpretability
by: Paul, Abhijit, et al.
Published: (2025)

Dynamic Provisioning of REST APIs for Model Management
by: Tuyishime, Adiel, et al.
Published: (2024)

Automating Formal Verification with Reinforcement Learning and Recursive Inference
by: Tan, Max
Published: (2026)

Deep Reinforcement Learning for Automated Web GUI Testing
by: Gu, Zhiyu, et al.
Published: (2025)

PyTester: Deep Reinforcement Learning for Text-to-Testcase Generation
by: Takerngsaksiri, Wannita, et al.
Published: (2024)

Formal Methods Meets Readability: Auto-Documenting JML Java Code
by: Abad, Juan Carlos Recio, et al.
Published: (2025)

DeepREST: Automated Test Case Generation for REST APIs Exploiting Deep Reinforcement Learning
by: Corradini, Davide, et al.
Published: (2024)

Common Challenges of Deep Reinforcement Learning Applications Development: An Empirical Study
by: Morovati, Mohammad Mehdi, et al.
Published: (2023)

On Integrating Large Language Models and Scenario-Based Programming for Improving Software Reliability
by: Berzack, Ayelet, et al.
Published: (2025)

Deep Learning Based Code Generation Methods: Literature Review
by: Yang, Zezhou, et al.
Published: (2023)

A Data-Driven Method for INS/DVL Alignment
by: Damari, Guy, et al.
Published: (2025)

A Hypergraph-based Formalization of Hierarchical Reactive Modules and a Compositional Verification Method
by: Ishii, Daisuke
Published: (2024)

Mutation-Based Deep Learning Framework Testing Method in JavaScript Environment
by: Zou, Yinglong, et al.
Published: (2024)

An Empirical Evaluation of Pre-trained Large Language Models for Repairing Declarative Formal Specifications
by: Alhanahnah, Mohannad, et al.
Published: (2024)

Systematic Evaluation of Deep Learning Models for Log-based Failure Prediction
by: Hadadi, Fatemeh, et al.
Published: (2023)

muPRL: A Mutation Testing Pipeline for Deep Reinforcement Learning based on Real Faults
by: Thomas, Deepak-George, et al.
Published: (2024)

Mapping the research software sustainability space
by: Druskat, Stephan, et al.
Published: (2018)

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

Fault-Tolerant Design and Multi-Objective Model Checking for Real-Time Deep Reinforcement Learning Systems
by: Su, Guoxin, et al.
Published: (2026)

Evaluating the Effectiveness of Coverage-Guided Fuzzing for Testing Deep Learning Library APIs
by: Qin, Feiran, et al.
Published: (2025)

Tool-integrated Reinforcement Learning for Repo Deep Search
by: Ma, Zexiong, et al.
Published: (2025)

500+ Times Faster Than Deep Learning (A Case Study Exploring Faster Methods for Text Mining StackOverflow)
by: Majumder, Suvodeep, et al.
Published: (2018)

QEDCartographer: Automating Formal Verification Using Reward-Free Reinforcement Learning
by: Sanchez-Stern, Alex, et al.
Published: (2024)

Thoughts on Learning Human and Programming Languages
by: Katz, Daniel S., et al.
Published: (2024)

Software Engineering as a Domain to Formalize
by: Meyer, Bertrand
Published: (2025)

Formal Synthesis of Uncertainty Reduction Controllers
by: Carwehl, Marc, et al.
Published: (2024)

Deep Learning Library Testing: Definition, Methods and Challenges
by: Zhang, Xiaoyu, et al.
Published: (2024)

Formally Verified Binary-level Pointer Analysis
by: Verbeek, Freek, et al.
Published: (2025)

Towards a DSL to Formalize Multimodal Requirements
by: Gomez-Vazquez, Marcos, et al.
Published: (2025)

Formalizing Operational Design Domains with the Pkl Language
by: Skoglund, Martin, et al.
Published: (2025)

Formal Verification of Consistency for Systems with Redundant Controllers
by: Johansson, Bjarne, et al.
Published: (2024)

Rule-Guided Reinforcement Learning Policy Evaluation and Improvement
by: Tappler, Martin, et al.
Published: (2025)