Finding software bugs in embedded devices