20 citations · 66 across the 13 of their papers we have counts for
15 papers
Compositional Generator Equivalence (Extended Version)
Anthony Vandikas, Kiarash Sotoudeh, Marsha Chechik
Property-based testing (PBT) is a powerful technique for software verification that relies on random input generators and "shrinking" processes to find and minimize counterexamples…
Multi-CoLoR: Context-Aware Localization and Reasoning across Multi-Language Codebases
Indira Vats, Sanjukta De, Subhayan Roy +5
Large language models demonstrate strong capabilities in code generation but struggle to navigate complex, multi-language repositories to locate relevant code. Effective code local…
Early Verification of Legal Compliance via Bounded Satisfiability Checking
Nick Feng, Lina Marsso, Mehrdad Sabetzadeh +1
Legal properties involve reasoning about data values and time. Metric first-order temporal logic (MFOTL) provides a rich formalism for specifying legal properties. While MFOTL has…
If a Human Can See It, So Should Your System: Reliability Requirements for Machine Vision Components
Boyue Caroline Hu, Lina Marsso, Krzysztof Czarnecki +3
Machine Vision Components (MVC) are becoming safety-critical. Assuring their quality, including safety, is essential for their successful deployment. Assurance relies on the availa…
Applying Declarative Analysis to Software Product Line Models: An Industrial Study
Ramy Shahin, Robert Hackman, Rafael Toledo +3
Software Product Lines (SPLs) are families of related software products developed from a common set of artifacts. Most existing analysis tools can be applied to a single product at…
Towards Certified Analysis of Software Product Line Safety Cases
Ramy Shahin, Sahar Kokaly, Marsha Chechik
Safety-critical software systems are in many cases designed and implemented as families of products, usually referred to as Software Product Lines (SPLs). Products within an SPL va…