13 citations · 14 across the 2 of their papers we have counts for
2 papers
cs.SE2024★ 1 cited
Diagnosis via Proofs of Unsatisfiability for First-Order Logic with Relational Objects
Nick Feng, Lina Marsso, Marsha Chechik
Satisfiability-based automated reasoning is an approach that is being successfully used in software engineering to validate complex software, including for safety-critical systems.…
cs.SE2024★ 13 cited
Analyzing and Debugging Normative Requirements via Satisfiability Checking
Nick Feng, Lina Marsso, Sinem Getir Yaman +11
As software systems increasingly interact with humans in application domains such as transportation and healthcare, they raise concerns related to the social, legal, ethical, empat…