Affiliation:
1. Bell Laboratories, Murray Hill, NJ
Abstract
Real-life bugs are successful because of their unfailing ability to adapt. In particular this applies to their ability to adapt to strategies that are meant to eradicate them as a species. Software bugs have some of these same traits. We will discuss these traits, and consider what we can do about them.
Publisher
Association for Computing Machinery (ACM)
Reference12 articles.
1. L. Amster D. L. McClain (Eds.) Kill Duck Before Serving Red Faces at The New York Times Publ. St. Martin's Griffin New York 2002 172 pgs. L. Amster D. L. McClain (Eds.) Kill Duck Before Serving Red Faces at The New York Times Publ. St. Martin's Griffin New York 2002 172 pgs.
2. Bandera
3. Patterns in property specifications for finite-state verification
4. The model checker SPIN
Cited by
30 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献