research
∙
08/15/2023
Fuzzing for CPS Mutation Testing
Mutation testing can help reduce the risks of releasing faulty software....
share
research
∙
01/25/2022
Data-driven Mutation Analysis for Cyber-Physical Systems
Cyber-physical systems (CPSs) typically consist of a wide set of integra...
research
∙
01/13/2021
Mutation Analysis for Cyber-Physical Systems: Scalable Solutions and Results in the Space Domain
On-board embedded software developed for spaceflight systems (space soft...
research
∙
02/05/2020
CBR: Controlled Burst Recording
Collecting traces from software running in the field is both useful and ...
research
∙
01/20/2020
In-The-Field Monitoring of Functional Calls: Is It Feasible?
Collecting data about the sequences of function calls executed by an app...
research
∙
08/24/2017