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

Verifier performance

  • A synergistic approach for distributed symbolic execution using test ranges [qiu:icse:2017]