2 papers
cs.PL2026
Metamorphic Testing for Floating-Point Performance Issues in SMT Solvers
Rosa Abbasi, Eva Darulova
SMT solvers are essential in various domains, including program verification and synthesis. Although their correctness and performance have been extensively studied, performance te…
cs.FL2017
Verification of Asynchronous Systems with an Unspecified Component
Rosa Abbasi, Fatemeh Ghassemi, Ramtin Khosravi
Component-based systems evolve as a new component is added or an existing one is replaced by a newer version. Hence, it is appealing to assure the new system still preserves its sa…