Cover Image

Logical analysis and contradiction detection in high-level requirements during the review process using sat-solver

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Yatkın, Simge, Ovatman, Tolga
Format:	Preprint
Published:	2024
Subjects:	Software Engineering
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Complex Event Processing in the Edge: A Combined Optimization Approach for Data and Code Placement
by: Uyanık, Halit, et al.
Published: (2026)

Formation of requirements traceability in the process of information systems design
by: Tsiperman, Grigory
Published: (2025)

Transfer learning for conflict and duplicate detection in software requirement pairs
by: Malik, Garima, et al.
Published: (2023)

Stability prediction of the software requirements specification
by: del Sagrado, J., et al.
Published: (2024)

Ethical software requirements from user reviews: A systematic literature review
by: Sorathiya, Aakash, et al.
Published: (2024)

An approach for performance requirements verification and test environments generation
by: Abdeen, Waleed, et al.
Published: (2024)

Automated Control Logic Test Case Generation using Large Language Models
by: Koziolek, Heiko, et al.
Published: (2024)

An empirical analysis of vulnerability detection tools for solidity smart contracts
by: Salzano, Francesco, et al.
Published: (2025)

Efficacy of static analysis tools for software defect detection on open-source projects
by: Yeboah, Jones, et al.
Published: (2024)

Omnisolver: an extensible interface to Ising spin glass solvers
by: Jałowiecki, Konrad, et al.
Published: (2021)

A cooperative strategy for diagnosing the root causes of quality requirement violations in multiagent systems
by: Faccin, João, et al.
Published: (2024)

Computation Tree Logic Guided Program Repair
by: Liu, Yu, et al.
Published: (2025)

Re-evaluation of Logical Specification in Behavioural Verification
by: Klimek, Radoslaw, et al.
Published: (2025)

Generating executable oracles to check conformance of client code to requirements of JDK Javadocs using LLMs
by: Jiang, Shan, et al.
Published: (2024)

Designing NLP-based solutions for requirements variability management: experiences from a design science study at Visma
by: Elahidoost, Parisa, et al.
Published: (2024)

Toward Conceptual Modeling for Propositional Logic: Propositions as Events
by: Al-Fedaghi, Sabah
Published: (2024)

BFL: a Logic to Reason about Fault Trees
by: Nicoletti, Stefano M., et al.
Published: (2022)

SEAL: Symbolic Execution with Separation Logic (Competition Contribution)
by: Brablec, Tomáš, et al.
Published: (2026)

Counterexample Classification against Signal Temporal Logic Specifications
by: Zhang, Zhenya, et al.
Published: (2026)

Are requirements really all you need? A case study of LLM-driven configuration code generation for automotive simulations
by: Lebioda, Krzysztof, et al.
Published: (2025)

Identifying Root Causes of Null Pointer Exceptions with Logical Inferences
by: Kim, Jindae, et al.
Published: (2024)

Improving vulnerability type prediction and line-level detection via adversarial training-based data augmentation and multi-task learning
by: Chen, Siyu, et al.
Published: (2025)

System for systematic literature review using multiple AI agents: Concept and an empirical evaluation
by: Sami, Abdul Malik, et al.
Published: (2024)

Creating an LLM-based AI-agent: A high-level methodology towards enhancing LLMs with APIs
by: Tzachristas, Ioannis
Published: (2024)

Diagnosis via Proofs of Unsatisfiability for First-Order Logic with Relational Objects
by: Feng, Nick, et al.
Published: (2024)

Logic Mining from Process Logs: Towards Automated Specification and Verification
by: Klimek, Radoslaw, et al.
Published: (2025)

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

Ladder Logic Translation using Large Language Models in Industrial Automation
by: Ogundare, Oluwatosin, et al.
Published: (2026)

A Fuzzy Logic-Based Quality Model For Identifying Microservices With Low Maintainability
by: Yilmaz, Rahime, et al.
Published: (2024)

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

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

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

How good are my search strings? Reflections on using an existing review as a quasi-gold standard
by: Tran, Huynh Khanh Vi, et al.
Published: (2024)

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

A Novel Mutation Based Method for Detecting FPGA Logic Synthesis Tool Bugs
by: Zhang, Yi, et al.
Published: (2025)

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

PseudoBridge: Pseudo Code as the Bridge for Better Semantic and Logic Alignment in Code Retrieval
by: Li, Yixuan, et al.
Published: (2025)

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

LogiAgent: Automated Logical Testing for REST Systems with LLM-Based Multi-Agents
by: Zhang, Ke, et al.
Published: (2025)

How do digital threats change requirements for the software industry?
by: Halttunen, Veikko
Published: (2024)