Image de couverture de livre

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

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Yatkın, Simge, Ovatman, Tolga
Format:	Preprint
Publié:	2024
Sujets:	Software Engineering
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Complex Event Processing in the Edge: A Combined Optimization Approach for Data and Code Placement
par: Uyanık, Halit, et autres
Publié: (2026)

Formation of requirements traceability in the process of information systems design
par: Tsiperman, Grigory
Publié: (2025)

Transfer learning for conflict and duplicate detection in software requirement pairs
par: Malik, Garima, et autres
Publié: (2023)

Stability prediction of the software requirements specification
par: del Sagrado, J., et autres
Publié: (2024)

Ethical software requirements from user reviews: A systematic literature review
par: Sorathiya, Aakash, et autres
Publié: (2024)

An approach for performance requirements verification and test environments generation
par: Abdeen, Waleed, et autres
Publié: (2024)

Automated Control Logic Test Case Generation using Large Language Models
par: Koziolek, Heiko, et autres
Publié: (2024)

An empirical analysis of vulnerability detection tools for solidity smart contracts
par: Salzano, Francesco, et autres
Publié: (2025)

Efficacy of static analysis tools for software defect detection on open-source projects
par: Yeboah, Jones, et autres
Publié: (2024)

Omnisolver: an extensible interface to Ising spin glass solvers
par: Jałowiecki, Konrad, et autres
Publié: (2021)

A cooperative strategy for diagnosing the root causes of quality requirement violations in multiagent systems
par: Faccin, João, et autres
Publié: (2024)

Computation Tree Logic Guided Program Repair
par: Liu, Yu, et autres
Publié: (2025)

Re-evaluation of Logical Specification in Behavioural Verification
par: Klimek, Radoslaw, et autres
Publié: (2025)

Generating executable oracles to check conformance of client code to requirements of JDK Javadocs using LLMs
par: Jiang, Shan, et autres
Publié: (2024)

Designing NLP-based solutions for requirements variability management: experiences from a design science study at Visma
par: Elahidoost, Parisa, et autres
Publié: (2024)

Toward Conceptual Modeling for Propositional Logic: Propositions as Events
par: Al-Fedaghi, Sabah
Publié: (2024)

BFL: a Logic to Reason about Fault Trees
par: Nicoletti, Stefano M., et autres
Publié: (2022)

SEAL: Symbolic Execution with Separation Logic (Competition Contribution)
par: Brablec, Tomáš, et autres
Publié: (2026)

Counterexample Classification against Signal Temporal Logic Specifications
par: Zhang, Zhenya, et autres
Publié: (2026)

Are requirements really all you need? A case study of LLM-driven configuration code generation for automotive simulations
par: Lebioda, Krzysztof, et autres
Publié: (2025)

Identifying Root Causes of Null Pointer Exceptions with Logical Inferences
par: Kim, Jindae, et autres
Publié: (2024)

Improving vulnerability type prediction and line-level detection via adversarial training-based data augmentation and multi-task learning
par: Chen, Siyu, et autres
Publié: (2025)

System for systematic literature review using multiple AI agents: Concept and an empirical evaluation
par: Sami, Abdul Malik, et autres
Publié: (2024)

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

Diagnosis via Proofs of Unsatisfiability for First-Order Logic with Relational Objects
par: Feng, Nick, et autres
Publié: (2024)

Logic Mining from Process Logs: Towards Automated Specification and Verification
par: Klimek, Radoslaw, et autres
Publié: (2025)

From Logic to Toolchains: An Empirical Study of Bugs in the TypeScript Ecosystem
par: Tang, TianYi, et autres
Publié: (2026)

Ladder Logic Translation using Large Language Models in Industrial Automation
par: Ogundare, Oluwatosin, et autres
Publié: (2026)

A Fuzzy Logic-Based Quality Model For Identifying Microservices With Low Maintainability
par: Yilmaz, Rahime, et autres
Publié: (2024)

Uncovering Business Logic Bugs via Semantics-Driven Unit Test Generation
par: Yang, Chen, et autres
Publié: (2026)

Enhancing LLM-based Specification Generation via Program Slicing and Logical Deletion
par: Chen, Zehan, et autres
Publié: (2025)

Context-Aware Functional Test Generation via Business Logic Extraction and Adaptation
par: Zhang, Yakun, et autres
Publié: (2026)

How good are my search strings? Reflections on using an existing review as a quasi-gold standard
par: Tran, Huynh Khanh Vi, et autres
Publié: (2024)

SSR: Safeguarding Staking Rewards by Defining and Detecting Logical Defects in DeFi Staking
par: Lin, Zewei, et autres
Publié: (2026)

A Novel Mutation Based Method for Detecting FPGA Logic Synthesis Tool Bugs
par: Zhang, Yi, et autres
Publié: (2025)

Generative AI for Object-Oriented Programming: Writing the Right Code and Reasoning the Right Logic
par: Xu, Gang, et autres
Publié: (2025)

PseudoBridge: Pseudo Code as the Bridge for Better Semantic and Logic Alignment in Code Retrieval
par: Li, Yixuan, et autres
Publié: (2025)

Compiler Bugs Detection in Logic Synthesis Tools via Linear Upper Confidence Bound
par: Zeng, Hui, et autres
Publié: (2025)

LogiAgent: Automated Logical Testing for REST Systems with LLM-Based Multi-Agents
par: Zhang, Ke, et autres
Publié: (2025)

How do digital threats change requirements for the software industry?
par: Halttunen, Veikko
Publié: (2024)