TY - CONF AU - David Kuhn AU - Vadim Okun C2 - 30th Annual IEEE/NASA Software Engineering Workshop (SEW '06), Columbia, MD DA - 2006-04-28 DO - https://doi.org/10.1109/SEW.2006.26 LA - en PB - 30th Annual IEEE/NASA Software Engineering Workshop (SEW '06), Columbia, MD PY - 2006 TI - Pseudo-Exhaustive Testing for Software ER -