Propositional Projection Temporal Logic Specification Mining. - Nan Zhang 001; Xiaoshuai Yuan; Zhenhua Duan (COCOA, 2020)

Temporal logic specification mining of programs. - Nan Zhang 001; Bin Yu 014; Cong Tian; Zhenhua Duan; Xiaoshuai Yuan (Theor. Comput. Sci., 2021)