Leveraging abstract interpretation for efficient dynamic symbolic execution
E Alatawi, H Sondergaard, T Miller, G Rosu (ed.), M Di Penta (ed.), TN Nguyen (ed.)
32nd IEEE/ACM International Conference on Automated Software Engineering (ASE) | IEEE Press | Published : 2017
Dynamic Symbolic Execution (DSE) is a technique to automatically generate test inputs by executing a program with concrete and symbolic values simultaneously. A key challenge in DSE is scalability; executing all feasible program paths is not possible, owing to the potentially exponential or infinite number of paths. Loops are a main source of path explosion, in particular where the number of iterations depends on a program's input. Problems arise because DSE maintains symbolic values that capture only the dependencies on symbolic inputs. This ignores control dependencies, including loop dependencies that depend indirectly on the inputs. We propose a method to increase the coverage achie..View full abstract
Related Projects (2)
Awarded by Australian Research Council through Linkage Grant
The first author gratefully acknowledges support from Taibah University, Saudi Arabia, through a PhD scholarship. The work was also supported by the Australian Research Council through Linkage Grant LP140100437.