A scary tale—Sperry avionics module-testing bites the dust? | ACM SIGSOFT Software Engineering Notes | DeepDyve