Using test ranges to improve symbolic execution Rui Qiu, Sarfraz Khurshid, Corina S. Păsăreanu, Junye Wen, Guowei Yang [ISBN] [Google Scholar] [DBLP] [Citeseer] NASA Formal Methods Springer International Publishing Cham Pages 416-434 2018 Note(s): symbolic execution, case splitting, verifier performance, Java PathFinder Papers: qiu:icse:2017 Notes related to Using test ranges to improve symbolic execution Verifier performance Papers related to Using test ranges to improve symbolic execution A synergistic approach for distributed symbolic execution using test ranges [qiu:icse:2017]