Beyond Vacuity: Towards the Strongest Passing Formula | IEEE Conference Publication | IEEE Xplore