13 citations · 19 across the 11 of their papers we have counts for
5 papers · 1 filter
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.…
A Software Engineering Perspective on Testing Large Language Models: Research, Practice, Tools and Benchmarks
Sinclair Hudson, Sophia Jit, Boyue Caroline Hu +1
Large Language Models (LLMs) are rapidly becoming ubiquitous both as stand-alone tools and as components of current and future software systems. To enable usage of LLMs in the high…
Normative Requirements Operationalization with Large Language Models
Nick Feng, Lina Marsso, S. Getir Yaman +9
Normative non-functional requirements specify constraints that a system must observe in order to avoid violations of social, legal, ethical, empathetic, and cultural norms. As thes…
Assessing Visually-Continuous Corruption Robustness of Neural Networks Relative to Human Performance
Huakun Shen, Boyue Caroline Hu, Krzysztof Czarnecki +2
While Neural Networks (NNs) have surpassed human accuracy in image classification on ImageNet, they often lack robustness against image corruption, i.e., corruption robustness. Yet…
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…