You Li, Zhendong Su, Linzhang Wang, Xuandong Li: Steering symbolic execution to less traveled paths. OOPSLA 2013: 19-32