Fault injection based automatic testing - Practice and examples