The logic of bugs

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.

BibTeX

@inproceedings{Holzmann:FSE02,
  author    = {Gerard J. Holzmann},
  title     = {The logic of bugs},
  booktitle = {FSE},
  pages     = {81--87},
  publisher = {{ACM}},
  year      = {2002},
}

The logic of bugs

Abstract

Related papers