Frans de Jong Ben Kup Rodger Schuttert Power pin testing: making the test coverage complete. 575-584 2000 conf/itc/2000 ITC db/conf/itc/itc2000.html#JongKS00