Program Slicing Analysis with KLEE, DIVINE and Frama-C | IEEE Conference Publication | IEEE Xplore