David Coppit Jinlin Yang Sarfraz Khurshid Wei Le Kevin J. Sullivan Software Assurance by Bounded Exhaustive Testing. 328-339 2005 31 IEEE Trans. Software Eng. 4 http://dx.doi.org/10.1109/TSE.2005.52 db/journals/tse/tse31.html#CoppitYKLS05