Buchumschlag

Counterexample Classification against Signal Temporal Logic Specifications

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Zhang, Zhenya, Kapoor, Parv, An, Jie, Kang, Eunsuk
Format:	Preprint
Veröffentlicht:	2026
Schlagworte:	Software Engineering
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Pretrained Embeddings as a Behavior Specification Mechanism
von: Kapoor, Parv, et al.
Veröffentlicht: (2025)

Safe Planning through Incremental Decomposition of Signal Temporal Logic Specifications
von: Kapoor, Parv, et al.
Veröffentlicht: (2024)

Investigating Robustness in Cyber-Physical Systems: Specification-Centric Analysis in the face of System Deviations
von: Zhang, Changjian, et al.
Veröffentlicht: (2023)

STLCG++: A Masking Approach for Differentiable Signal Temporal Logic Specification
von: Kapoor, Parv, et al.
Veröffentlicht: (2025)

tl;dr: Chill, y'all: AI Will Not Devour SE
von: Kang, Eunsuk, et al.
Veröffentlicht: (2024)

Constrained LTL Specification Learning from Examples
von: Zhang, Changjian, et al.
Veröffentlicht: (2024)

Improving Dynamic Specification Inference with LLM-Generated Counterexamples
von: Balestra, Agustín, et al.
Veröffentlicht: (2026)

Symbolic Guardrails for Domain-Specific Agents: Stronger Safety and Security Guarantees Without Sacrificing Utility
von: Hong, Yining, et al.
Veröffentlicht: (2026)

Towards Verifiably Safe Tool Use for LLM Agents
von: Doshi, Aarya, et al.
Veröffentlicht: (2026)

Beyond Basic Specifications? A Systematic Study of Logical Constructs in LLM-based Specification Generation
von: Chen, Zehan, et al.
Veröffentlicht: (2026)

Runtime Monitoring of Perception-Based Autonomous Systems via Embedding Temporal Logic
von: Kapoor, Parv, et al.
Veröffentlicht: (2026)

Re-evaluation of Logical Specification in Behavioural Verification
von: Klimek, Radoslaw, et al.
Veröffentlicht: (2025)

User-Driven Adaptation: Tailoring Autonomous Driving Systems with Dynamic Preferences
von: Zhang, Mingyue, et al.
Veröffentlicht: (2024)

Enhancing LLM-based Specification Generation via Program Slicing and Logical Deletion
von: Chen, Zehan, et al.
Veröffentlicht: (2025)

FairSense: Long-Term Fairness Analysis of ML-Enabled Systems
von: She, Yining, et al.
Veröffentlicht: (2025)

Automated Validation of Insurance Applications against Calculation Specifications
von: Datar, Advaita, et al.
Veröffentlicht: (2022)

Reinforcement Learning with Negative Tests as Completeness Signal for Formal Specification Synthesis
von: Huang, Zhechong, et al.
Veröffentlicht: (2026)

FASR: Automated Identification of Unsafe Control Actions in STPA
von: Dardik, Ian, et al.
Veröffentlicht: (2026)

Logic Mining from Process Logs: Towards Automated Specification and Verification
von: Klimek, Radoslaw, et al.
Veröffentlicht: (2025)

Counterexample Guided Branching via Directional Relaxation Analysis in Complete Neural Network Verification
von: Li, Jingyang, et al.
Veröffentlicht: (2026)

Trace Diagnostics for Signal-based Temporal Properties
von: Boufaied, Chaima, et al.
Veröffentlicht: (2022)

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

LogiDebrief: A Signal-Temporal Logic based Automated Debriefing Approach with Large Language Models Integration
von: Chen, Zirong, et al.
Veröffentlicht: (2025)

Parameterized Dynamic Logic -- Towards A Cyclic Logical Framework for General Program Specification and Verification
von: Zhang, Yuanrui
Veröffentlicht: (2024)

LeGEND: A Top-Down Approach to Scenario Generation of Autonomous Driving Systems Assisted by Large Language Models
von: Tang, Shuncheng, et al.
Veröffentlicht: (2024)

Can Language Models Falsify? Evaluating Algorithmic Reasoning with Counterexample Creation
von: Sinha, Shiven, et al.
Veröffentlicht: (2025)

WebTestPilot: Agentic End-to-End Web Testing against Natural Language Specification by Inferring Oracles with Symbolized GUI Elements
von: Teoh, Xiwen, et al.
Veröffentlicht: (2026)

RITA: A Tool for Automated Requirements Classification and Specification from Online User Feedback
von: Mallya, Manjeshwar Aniruddh, et al.
Veröffentlicht: (2026)

From Online User Feedback to Requirements: Evaluating Large Language Models for Classification and Specification Tasks
von: Mallya, Manjeshwar Aniruddh, et al.
Veröffentlicht: (2025)

Benchmarking Text-to-Python against Text-to-SQL: The Impact of Explicit Logic and Ambiguity
von: Hu, Hangle, et al.
Veröffentlicht: (2026)

MGS3: A Multi-Granularity Self-Supervised Code Search Framework
von: Li, Rui, et al.
Veröffentlicht: (2025)

Integrating Graceful Degradation and Recovery through Requirement-driven Adaptation
von: Chu, Simon, et al.
Veröffentlicht: (2024)

Counterexample Guided Program Repair Using Zero-Shot Learning and MaxSAT-based Fault Localization
von: Orvalho, Pedro, et al.
Veröffentlicht: (2024)

Seeking Specifications: The Case for Neuro-Symbolic Specification Synthesis
von: Granberry, George, et al.
Veröffentlicht: (2025)

An Agile Formal Specification Language Design Based on K Framework
von: Zhang, Jianyu, et al.
Veröffentlicht: (2024)

LogiAgent: Automated Logical Testing for REST Systems with LLM-Based Multi-Agents
von: Zhang, Ke, et al.
Veröffentlicht: (2025)

Adventures in FRET and Specification
von: Farrell, Marie, et al.
Veröffentlicht: (2025)

Context-Aware Functional Test Generation via Business Logic Extraction and Adaptation
von: Zhang, Yakun, et al.
Veröffentlicht: (2026)

SSR: Safeguarding Staking Rewards by Defining and Detecting Logical Defects in DeFi Staking
von: Lin, Zewei, et al.
Veröffentlicht: (2026)

LRASGen: LLM-based RESTful API Specification Generation
von: Deng, Sida, et al.
Veröffentlicht: (2025)