PASSAT 2.0: A multi-functional SAT-based testing framework | IEEE Conference Publication | IEEE Xplore