E/sup 3/ software verification through the use of statistical process control methods | IEEE Conference Publication | IEEE Xplore