2 papers
cs.SE2026
On the Time and Frequency Domain Representations of Signals for CPS Specification
Claudio Mandrioli, Drishti Yadav, Domenico Bianculli
Specification languages are instrumental to the Verification \& Validation of Cyber-Physical Systems (CPSs). Most state-of-the-art specification languages use the time-domain repre…
cs.SE2023
Property-Based Mutation Testing
Ezio Bartocci, Leonardo Mariani, Dejan Nickovic +1
Mutation testing is an established software quality assurance technique for the assessment of test suites. While it is well-suited to estimate the general fault-revealing capabilit…