Polsat: A Portfolio LTL Satisfiability Solver. - Jianwen Li; Geguang Pu; Lijun Zhang 001; Yinbo Yao; Moshe Y. Vardi; Jifeng He 001 (CoRR, 2013)

Aalta: an LTL satisfiability checker over Infinite/Finite traces. - Jianwen Li; Yinbo Yao; Geguang Pu; Lijun Zhang 001; Jifeng He 001 (SIGSOFT FSE, 2014)

Automated Requirements Validation for ATP Software via Specification Review and Testing. - Weikai Miao; Geguang Pu; Yinbo Yao; Ting Su 001; Danzhu Bao; Yang Liu 003; Shuohao Chen; Kunpeng Xiong (ICFEM, 2016)

Smartunit: empirical evaluations for automated unit testing of embedded software in industry. - Chengyu Zhang 001; Yichen Yan; Hanru Zhou; Yinbo Yao; Ke Wu; Ting Su 001; Weikai Miao; Geguang Pu (ICSE (SEIP), 2018)