| Sharing More and Checking Less: Leveraging Common Input Keywords to Detect Bugs in Embedded Systems-上海交通大学电子信息与电气工程学院