Bohrbugs, Mandelbugs, Exhaustive Testing and Unintended Automobile Acceleration | IEEE Conference Publication | IEEE Xplore