Library
Mutant generation for embedded systems using kernel-based software and hardware fault simulation