Software Quality = Test Accuracy * Test Coverage

@inproceedings{Ohba:ICSE82,
  author    = {H. Ohba},
  title     = {Software Quality = Test Accuracy * Test Coverage},
  booktitle = {ICSE},
  pages     = {287--295},
  publisher = {{IEEE} Computer Society},
  year      = {1982},
}