Linked Presentation: Sharing More and Checking Less: Leveraging Common Input Keywords to Detect Bugs in Embedded Systems
