Poster: USE: Unified and Split Execution for Exposing Divergences between Versions

Software maintenance is an important activity during a software development lifecycle in that detecting and fixing software faults are not only costly but also error-prone. How to select an appropriate set of test cases which can effectively show the difference between an old and new version of a software system becomes a challenging research topic. In this paper, we consider both control divergence and data divergence to explore the difference between two versions of code. To do so, we present a novel framework called Use, which executes the common code only once but has separate execution traces for the different code in a single dynamic symbolic execution instance, to generate test cases efficiently. Furthermore, we propose to apply Use to expose control and data divergences introduced by a patch and classifying patches. We evaluate Use on two case studies: SIR benchmark and CoREBench. The initial experimental results show that our methods can efficiently and effectively generate test cases demonstrating the divergence between two versions of code, and be helpful for inferring the bug source.