activity
20172023
most citedIn-The-Field Monitoring of Functional Calls: Is It Feasible?

4 citations · 8 across the 7 of their papers we have counts for

collaborators
Showing 2021Show all

1 paper · 1 filter

cs.SE2021

Mutation Analysis for Cyber-Physical Systems: Scalable Solutions and Results in the Space Domain

Oscar Cornejo, Fabrizio Pastore, Lionel Briand

On-board embedded software developed for spaceflight systems (space software) must adhere to stringent software quality assurance procedures. For example, verification and validati…