Sumit Gulwani. Automating string processing in spreadsheets using input-output examples. POPL'11
0%
[ISER] [SEP] code2vec: Learning distributed representations of code
Uri Alon, Meital Zilberstein, Omer Levy, and Eran Yahav. code2vec: Learning distributed representations of code. POPL'19
[ISER] [SME] Ten years of implementation and experience
Kirk Glerum, Kinshuman Kinshumann, Steve Greenberg, Gabriel Aul, Vince Orgovan, Greg Nichols, David Grant, Gretchen Loihle, and Galen Hunt. Debugging in the (very) large: Ten years of implementation and experience. SOSP'09
[ISER] [SME] A technique for cheap recovery
George Candea, Shinichi Kawamoto, Yuichi Fujiki, Greg Friedman, and Armando Fox. Microreboot – A technique for cheap recovery. OSDI'04
[ISER] [SME] Simplifying and isolating failure-inducing input
Andreas Zeller and Ralf Hildebrandt. Simplifying and isolating failure-inducing input. IEEE Transactions on Software Engineering (TSE), 28(2), 2002.
[ISER] [SME] Visualization of test information to assist fault localization
James A. Jones, Mary Jean Harrold, and John Stasko. Visualization of test information to assist fault localization. ICSE'02
[ISER] [STA] AddressSanitizer: A fast address sanity checker
Konstantin Serebryany, Derek Bruening, Alexander Potapenko, and Dmitry Vyukov. AddressSanitizer: A fast address sanity checker. USENIX ATC'12
[ISER] [STA] A lightweight, general system for finding serious storage system errors
Junfeng Yang, Can Sar, and Dawson Engler. eXplode: A lightweight, general system for finding serious storage system errors. OSDI'06
[ISER] [STA] Dynamically discovering likely program invariants to support program evolution
Michael D. Ernst, Jake Cockrell, William G. Griswold, and David Notkin. Dynamically discovering likely program invariants to support program evolution. IEEE Transactions on Software Engineering (TSE), 27(2), 2001
[课堂笔记] 软件工程研究入门
Posted on
Edited on
软件工程研究入门课堂笔记