Java StarFinder

Publications

• Concolic Testing Heap-Manipulating Programs. FM 2018.
  Long H. Pham, Quang Loc Le, Quoc-Sang Phan, and Jun Sun.
• Enhancing Symbolic Execution of Heap-based Programs with Separation Logic for Test Input Generation. ATVA 2018.
  Long H. Pham, Quang Loc Le, Quoc-Sang Phan, Jun Sun, and Shengchao Qin.
• Automatic Data Structure Repair using Separation Logic. JPF 2018.
  Guolong Zheng, Quang Loc Le, ThanhVu Nguyen, and Quoc-Sang Phan.
• Poster: Testing Heap-Based Programs with Java StarFinder. ICSE 2018.
  Long H. Pham, Quang Loc Le, Quoc-Sang Phan, Jun Sun, and Shengchao Qin.