Li, Su, Wang, Li, 2013. Steering symbolic execution to less traveled paths, in: . ACM Press.. https://doi.org/10.1145/2509136.2509553