DeCon: Detecting Incorrect Assertions via Postconditions Generated by a Large Language Model

Documenti analoghi

• An Infrastructure Software Perspective Toward Computation Offloading between Executable Specifications and Foundation Models
  di: Ran, Dezhi, et al.
  Pubblicazione: (2025)
• Preparing for Super-Reactivity: Early Fault-Detection in the Development of Exceedingly Complex Reactive Systems
  di: Harel, David, et al.
  Pubblicazione: (2024)
• On Augmenting Scenario-Based Modeling with Generative AI
  di: Harel, David, et al.
  Pubblicazione: (2024)
• Beyond Pass or Fail: Multi-Dimensional Benchmarking of Foundation Models for Goal-based Mobile UI Navigation
  di: Ran, Dezhi, et al.
  Pubblicazione: (2025)
• Expecting the Unexpected: Developing Autonomous-System Design Principles for Reacting to Unpredicted Events and Conditions
  di: Marron, Assaf, et al.
  Pubblicazione: (2020)