Program Slicing Analysis with KLEE, DIVINE and Frama-C

Simple item page
dc.contributor.authorKumar, N.
dc.contributor.authorNeema, S.
dc.contributor.authorDas, M.
dc.contributor.authorMohan, B.R.
dc.date.accessioned2026-02-06T06:36:09Z
dc.date.issued2021
dc.description.abstractOptimizing the Time complexity of any program is still the most researched and sought area for researchers. At the industry level, the Software execution timing is the dominant criteria for Workload selection. One prominent method for reducing the Time complexity of a program is by using program slicing configuration, without affecting the program flow. Program slicing is the process of slicing a program in such a way that it reduces the time of debugging. This paper presents a timed-based analysis of a program with and without slicing with the help of different verification tools, namely KLEE, DIVINE, and Frama-C. This paper aims to compare these tools based on the timing of debugging and validity of a program before and after slicing. © 2021 Chinese Automation and Computing Society in the UK-CACSUK.
dc.identifier.citation2021 26th International Conference on Automation and Computing: System Intelligence through Automation and Computing, ICAC 2021, 2021, Vol., , p. -
dc.identifier.urihttps://doi.org/10.23919/ICAC50006.2021.9594142
dc.identifier.urihttps://idr.nitk.ac.in/handle/123456789/30298
dc.publisherInstitute of Electrical and Electronics Engineers Inc.
dc.subjectDIVINE
dc.subjectFrama-C
dc.subjectKLEE
dc.subjectProgram slicing
dc.titleProgram Slicing Analysis with KLEE, DIVINE and Frama-C

Files

Collections

Conference Papers