共 43 条
[2]
[Anonymous], 1971, IJCAI
[3]
[Anonymous], Analysis: The exploding demand for computer science education, and why America needs to keep up
[4]
[Anonymous], lpsolve-ILP solver
[5]
[Anonymous], MITx MOOC
[6]
[Anonymous], zhang-shasha-tree -edit -distance algorithm implemented in Python
[7]
Arcuri A, 2008, ICSE'08 PROCEEDINGS OF THE THIRTIETH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING, P1003
[8]
Beyer Dirk, 2009, Proceedings of the 2009 9th International Conference Formal Methods in Computer-Aided Design (FMCAD), P25, DOI 10.1109/FMCAD.2009.5351147
[9]
Chandra S, 2011, 2011 33RD INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING (ICSE), P121, DOI 10.1145/1985793.1985811
[10]
QLOSE: Program Repair with Quantitative Objectives
[J].
COMPUTER AIDED VERIFICATION: 28TH INTERNATIONAL CONFERENCE, CAV 2016, PT II,
2016, 9780
:383-401