Mingguang Hu, Zining Cao: LRx: Specification Mining based on Logistic Regression. ICMSS 2020: 68-72