Notes related to Java PathFinder
Lazy initialization of symbolic values
Papers related to Java PathFinder
- 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]