
Bipartite graph-based control flow checking for COTS-based small satellites
Keywords: Bipartite graph; Control flow checking; Commercial-off-the-shelves (COTS); Error injection; Fault tolerant; Illegal branch; Small satellites