Java PathFinder

[Google Scholar]

Notes:
Papers:

Lazy initialization of symbolic values

  • Generalized symbolic execution for model checking and testing [khurshid:tacas:2003]
  • A synergistic approach for distributed symbolic execution using test ranges [qiu:icse:2017]
  • Using test ranges to improve symbolic execution [qiu:nfm:2018]