Vol. 62, No. 10, 2019 Cover Contents

Special Focus on Software Automation
EDITORIAL Website SpringerLink Google Scholar Cited in SCI: 0

Special focus on software automation
Mei, Hong; Zhang, Lu
Sci China Inf Sci, 2019, 62(10): 200100
Cite as: Mei H, Zhang L. Special focus on software automation. Sci China Inf Sci, 2019, 62(10): 200100, doi: 10.1007/s11432-019-2627-y

Special Focus on Software Automation
REVIEW Website SpringerLink Google Scholar Cited in SCI: 1

Evaluation of model checkers by verifying message passing programs
Hong, Weijiang; Chen, Zhenbang; Yu, Hengbiao; Wang, Ji
Sci China Inf Sci, 2019, 62(10): 200101
Keywords: model checker; evaluation; benchmark; MPI; symbolic execution
Cite as: Hong W J, Chen Z B, Yu H B, et al. Evaluation of model checkers by verifying message passing programs. Sci China Inf Sci, 2019, 62(10): 200101, doi: 10.1007/s11432-018-9825-3

Special Focus on Software Automation
RESEARCH PAPER Website SpringerLink Google Scholar Cited in SCI: 2

A manual inspection of Defects4J bugs and its implications for automatic program repair
Jiang, Jiajun; Xiong, Yingfei; Xia, Xin
Sci China Inf Sci, 2019, 62(10): 200102
Keywords: automatic defect repair; fault localization; manual repair; software maintenance; case study
Cite as: Jiang J J, Xiong Y F, Xia X. A manual inspection of Defects4J bugs and its implications for automatic program repair. Sci China Inf Sci, 2019, 62(10): 200102, doi: 10.1007/s11432-018-1465-6

Special Focus on Software Automation
PERSPECTIVE Website SpringerLink Google Scholar Cited in SCI: 1

Automated program repair: a step towards software automation
Roychoudhury, Abhik; Xiong, Yingfei
Sci China Inf Sci, 2019, 62(10): 200103
Keywords: Program Repair; Software Automation; Bug; Weak Specification; Overfitting; Reference Implementation; Big Data
Cite as: Roychoudhury A, Xiong Y F. Automated program repair: a step towards software automation. Sci China Inf Sci, 2019, 62(10): 200103, doi: 10.1007/s11432-019-9947-6

Special Focus on Software Automation
LETTER Website SpringerLink Google Scholar Cited in SCI: 0

AI-boosted software automation: learning from human pair programmers
Peng, Xin; Xing, Zhenchang; Sun, Jun
Sci China Inf Sci, 2019, 62(10): 200104
Keywords: Software Automation; AI; Deep Learning; Pair Programming; Knowledge; Human Machine Cooperation
Cite as: Peng X, Xing Z C, Sun J. AI-boosted software automation: learning from human pair programmers. Sci China Inf Sci, 2019, 62(10): 200104, doi: 10.1007/s11432-018-9854-3