ICST 2025
Mon 31 March - Fri 4 April 2025 Naples, Italy

Exploring all the feasible paths in order to generate test cases is costly when dynamic symbolic execution is considered. Hence, there comes the interpolation concept that minimizes the cost to some extent. The earlier work on custom interpolation introduced a resource annotator that instruments the program and generates multiple meta programs (LLVM IRs) in order to generate optimal MCD/DC-based test cases. The proposed approach leverages a Meta Program Generator (MPG) to create a single meta program that encapsulates SCMCC sequences within “assert" statements, aligned with their corresponding predicates. The effectiveness of this approach is demonstrated through experiments on benchmark programs, comparing it with traditional methods. The results indicate improved efficiency and the generation of a higher number of feasible SC-MCC sequences, making our approach a promising advancement in software testing and symbolic execution. We experimented with 75 Rigorous Examination of Reactive Systems (RERS) benchmark programs for experimentation. It is observed that our implementation has obtained more feasible SC-MCC sequences in 41 out of 75 programs.