MC/DC coverage-oriented compiler optimization for symbolic executionShare on Twitter Facebook LinkedIn Previous Next