Towards finding path delay fault tests with high test efficiency using ZBDDs | IEEE Conference Publication | IEEE Xplore