@conference{11556,
  author = {David Kuhn and Vadim Okun},
  title = {Pseudo-Exhaustive Testing for Software},
  year = {2006},
  month = {2006-04-28},
  publisher = {30th Annual IEEE/NASA Software Engineering Workshop (SEW '06), Columbia, MD},
  doi = {https://doi.org/10.1109/SEW.2006.26},
  language = {en},
}