Work

Translation Titans, Reasoning Challenges: Satisfiability-Aided Language Models for Detecting Conflicting Requirements

Year: 2024

Type: conference-paper

Source: IEEE/ACM International Conference on Automated Software Engineering (ASE)

DOI: 10.1145/3691620.3695302

Authors: Mohamad Fazelnia, Mehdi Mirakhorli, Hamid Bagheri

Institutions: University of Hawaiʻi at Mānoa, University of Nebraska–Lincoln

Language: English

Topic: Software Engineering Techniques and Practices

Subfield: Information Systems

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W4403536043

FWCI: 1.157

Cites: 27

Cited by: 3

Related to: 10