@article{89376,
  author = {Vadim Okun and Paul Black and Y Yesha},
  title = {Fault Classes and Fault Coupling in Boolean Specifications},
  year = {2004},
  month = {2004-06-01},
  publisher = {Acm Transactions on Software Engineering and Methodology},
  language = {en},
}