机译:Mutation Analysis for Cyber-Physical Systems: Scalable Solutions and Results in the Space Domain
SnT Centre for Security, Reliability and Trust, University of Luxembourg, Esch-sur-Alzette, Luxembourg;
SnT Centre for Security, Reliability and Trust, University of Luxembourg, Esch-sur-Alzette, Luxembourg|Chool of EECS, University of Ottawa, Ottawa, ON, Canada;
Software; Embedded software; Optimization; Libraries; Scalability; Pipelines; Hardware;