Library
Interaction testing in an embedded system using hardware fault injection and program mutation