Yinbo Yao

According to our database, Yinbo Yao authored at least 4 papers between 2013 and 2018.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2018

Smartunit: empirical evaluations for automated unit testing of embedded software in industry.

Chengyu Zhang, Yichen Yan, Hanru Zhou, Yinbo Yao, Ke Wu, Ting Su, Weikai Miao, Geguang Pu

Proceedings of the 40th International Conference on Software Engineering: Software Engineering in Practice, 2018

2016

Automated Requirements Validation for ATP Software via Specification Review and Testing.

Weikai Miao, Geguang Pu, Yinbo Yao, Ting Su, Danzhu Bao, Yang Liu, Shuohao Chen, Kunpeng Xiong

Proceedings of the Formal Methods and Software Engineering, 2016

2014

Aalta: an LTL satisfiability checker over Infinite/Finite traces.

Jianwen Li, Yinbo Yao, Geguang Pu, Lijun Zhang, Jifeng He

Proceedings of the 22nd ACM SIGSOFT International Symposium on Foundations of Software Engineering, (FSE-22), Hong Kong, China, November 16, 2014

2013

Polsat: A Portfolio LTL Satisfiability Solver.

Jianwen Li, Geguang Pu, Lijun Zhang, Yinbo Yao, Moshe Y. Vardi, Jifeng He

CoRR, 2013