Copertina

Diagnosis via Proofs of Unsatisfiability for First-Order Logic with Relational Objects

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Feng, Nick, Marsso, Lina, Chechik, Marsha
Natura:	Preprint
Pubblicazione:	2024
Soggetti:	Software Engineering
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Proceedings of the First International Workshop on Autonomous Systems Quality Assurance and Prediction with Digital Twins
di: Chechik, Marsha, et al.
Pubblicazione: (2025)

Operationalizing Human Values in the Requirements Engineering Process of Ethics-Aware Autonomous Systems
di: Júnior, Everaldo Silva, et al.
Pubblicazione: (2026)

Social, Legal, Ethical, Empathetic and Cultural Norm Operationalisation for AI Agents
di: Calinescu, Radu, et al.
Pubblicazione: (2026)

Normative Requirements Operationalization with Large Language Models
di: Feng, Nick, et al.
Pubblicazione: (2024)

Analyzing and Debugging Normative Requirements via Satisfiability Checking
di: Feng, Nick, et al.
Pubblicazione: (2024)

Abductive Vibe Coding (Extended Abstract)
di: Murphy, Logan, et al.
Pubblicazione: (2026)

PLACIDUS: Engineering Product Lines of Rigorous Assurance Cases
di: Murphy, Logan, et al.
Pubblicazione: (2024)

A Software Engineering Perspective on Testing Large Language Models: Research, Practice, Tools and Benchmarks
di: Hudson, Sinclair, et al.
Pubblicazione: (2024)

AlloyInEcore: Embedding of First-Order Relational Logic into Meta-Object Facility for Automated Model Reasoning
di: Erata, Ferhat, et al.
Pubblicazione: (2024)

Assurance Case Development for Evolving Software Product Lines: A Formal Approach
di: Murphy, Logan, et al.
Pubblicazione: (2025)

Refactoring Deep Learning Code: A Study of Practices and Unsatisfied Tool Needs
di: Wang, Siqi, et al.
Pubblicazione: (2024)

Cache-a-lot: Pushing the Limits of Unsatisfiable Core Reuse in SMT-Based Program Analysis
di: Sadykov, Rustam, et al.
Pubblicazione: (2025)

Abstraction Engineering
di: Bencomo, Nelly, et al.
Pubblicazione: (2024)

Multi-CoLoR: Context-Aware Localization and Reasoning across Multi-Language Codebases
di: Vats, Indira, et al.
Pubblicazione: (2026)

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

Towards Operation Proof Obligation Generation for VDM
di: Battle, Nick, et al.
Pubblicazione: (2025)

Quantitative Monitoring of Signal First-Order Logic
di: Chalupa, Marek, et al.
Pubblicazione: (2026)

From Logic to Toolchains: An Empirical Study of Bugs in the TypeScript Ecosystem
di: Tang, TianYi, et al.
Pubblicazione: (2026)

LEGOS-SLEEC: Tool for Formalizing and Analyzing Normative Requirements
di: Kolyakov, Kevin, et al.
Pubblicazione: (2025)

Generative AI for Object-Oriented Programming: Writing the Right Code and Reasoning the Right Logic
di: Xu, Gang, et al.
Pubblicazione: (2025)

Enhancing LLM-based Specification Generation via Program Slicing and Logical Deletion
di: Chen, Zehan, et al.
Pubblicazione: (2025)

Uncovering Business Logic Bugs via Semantics-Driven Unit Test Generation
di: Yang, Chen, et al.
Pubblicazione: (2026)

Context-Aware Functional Test Generation via Business Logic Extraction and Adaptation
di: Zhang, Yakun, et al.
Pubblicazione: (2026)

Selene: Pioneering Automated Proof in Software Verification
di: Zhang, Lichen, et al.
Pubblicazione: (2024)

Combining Tests and Proofs for Better Software Verification
di: Huang, Li, et al.
Pubblicazione: (2026)

Compiler Bugs Detection in Logic Synthesis Tools via Linear Upper Confidence Bound
di: Zeng, Hui, et al.
Pubblicazione: (2025)

SSR: Safeguarding Staking Rewards by Defining and Detecting Logical Defects in DeFi Staking
di: Lin, Zewei, et al.
Pubblicazione: (2026)

CoqPyt: Proof Navigation in Python in the Era of LLMs
di: Carrott, Pedro, et al.
Pubblicazione: (2024)

LLMs in Code Vulnerability Analysis: A Proof of Concept
di: Sultana, Shaznin, et al.
Pubblicazione: (2026)

ProofWright: Towards Agentic Formal Verification of CUDA
di: Chatterjee, Bodhisatwa, et al.
Pubblicazione: (2025)

Discovering 100+ Compiler Defects in 72 Hours via LLM-Driven Semantic Logic Recomposition
di: He, Xingbang, et al.
Pubblicazione: (2026)

DeepLL: Considering Linear Logic for the Analysis of Deep Learning Experiments
di: Papoulias, Nick
Pubblicazione: (2024)

Epistemic Ensembles in Semantic and Symbolic Environments (Extended Version with Proofs)
di: Hennicker, Rolf, et al.
Pubblicazione: (2024)

Program Analysis Guided LLM Agent for Proof-of-Concept Generation
di: Desai, Achintya, et al.
Pubblicazione: (2026)

VerifyThisBench: Generating Code, Specifications, and Proofs All at Once
di: Deng, Xun, et al.
Pubblicazione: (2025)

A Minimal Executable Proof for Multi-Language Contract Traceability
di: Kasselman, Werner
Pubblicazione: (2026)

LLMPrism: Black-box Performance Diagnosis for Production LLM Training Platforms
di: Jiang, Zhihan, et al.
Pubblicazione: (2025)

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

Automated Proof Generation for Rust Code via Self-Evolution
di: Chen, Tianyu, et al.
Pubblicazione: (2024)

FaultLine: Automated Proof-of-Vulnerability Generation Using LLM Agents
di: Nitin, Vikram, et al.
Pubblicazione: (2025)