Benchmarking Symbolic Execution Using Constraint Problems - Initial Results | IEEE Conference Publication | IEEE Xplore