JDart-Based Test Cases Generation and Optimization Xiaoxue Wu, Wei Zheng, Peiyuan Wang, Peijia Wang and Songyu Fan JNWPU, 36 1 (2018) 156-161 Published online: 18 May 2018 DOI: 10.1051/jnwpu/20183610156