Ibing. Parallel Smt-constrained Symbolic Execution for Eclipse Cdt/codan. Springer Berlin Heidelberg, 2013, doi:10.1007/978-3-642-41707-8_13.