Yinbo Yao

Publication Activity (10 Years)

Years Active: 2013-2018
Publications (10 Years): 3

Top Topics

Embedded Software

Finitely Representable

Sequence Diagrams

Top Venues

Publications

Chengyu Zhang, Yichen Yan, Hanru Zhou, Yinbo Yao, Ke Wu, Ting Su, Weikai Miao, Geguang Pu
SmartUnit: Empirical Evaluations for Automated Unit Testing of Embedded Software in Industry. CoRR (2018)
Chengyu Zhang, Yichen Yan, Hanru Zhou, Yinbo Yao, Ke Wu, Ting Su, Weikai Miao, Geguang Pu
Smartunit: empirical evaluations for automated unit testing of embedded software in industry. ICSE (SEIP) (2018)
Weikai Miao, Geguang Pu, Yinbo Yao, Ting Su, Danzhu Bao, Yang Liu, Shuohao Chen, Kunpeng Xiong
Automated Requirements Validation for ATP Software via Specification Review and Testing. ICFEM (2016)
Jianwen Li, Yinbo Yao, Geguang Pu, Lijun Zhang, Jifeng He
Aalta: an LTL satisfiability checker over Infinite/Finite traces. SIGSOFT FSE (2014)
Jianwen Li, Geguang Pu, Lijun Zhang, Yinbo Yao, Moshe Y. Vardi, Jifeng He
Polsat: A Portfolio LTL Satisfiability Solver. CoRR (2013)