Steering symbolic execution to less traveled paths.

You Li, Zhendong Su, Linzhang Wang, Xuandong Li

Browse the full OOPSLA paper archive.