Augmented Dynamic Symbolic Execution

Dynamic Symbolic Execution (DSE) can efficiently explore all simple paths through a program, reliably determining whether there are any program crashes or violations of assertions or code contracts. However, if such automated oracles do not exist, the traditional approach is to present the developer a small and representative set of tests in order to let him/her determine their correctness. Customer feedback on Microsoft's Pex tool revealed that users expect different values and also more values than those produced by Pex, which threatens the applicability of DSE in a scenario without automated oracles.

Provided by: Association for Computing Machinery Topic: Software Date Added: Sep 2012 Format: PDF

Find By Topic