When BDDs Fail: Conformance Testing with Symbolic Execution and SMT Solving | IEEE Conference Publication | IEEE Xplore