Special Focus on Software Automation
EDITORIAL
Webpage
Webpage-cn
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
Webpage
Webpage-cn
SpringerLink
Google Scholar
Cited in SCI: 7
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
Webpage
Webpage-cn
SpringerLink
Google Scholar
Cited in SCI: 24
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
Webpage
Webpage-cn
SpringerLink
Google Scholar
Cited in SCI: 8
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
Webpage
Webpage-cn
SpringerLink
Google Scholar
Cited in SCI: 2
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
