Testing Embedded Software Through Fault Injection: Case Study on Smart Lock | IEEE Conference Publication | IEEE Xplore