Program Slicing Analysis with KLEE, DIVINE and Frama-C. - Nitin Kumar 015; Shreya Neema; Madhusmita Das; Biju R. Mohan (ICAC, 2021)