Computer Science ›› 2017, Vol. 44 ›› Issue (11): 64-68.doi: 10.11896/j.issn.1002-137X.2017.11.010
Previous Articles Next Articles
ZHU Li-hua, WEN Yan-jun and DONG Wei
[1] RODRIGUEZ L R,LAWALL J.Increasing Automation in the Backporting of Linux Drivers Using Coccinelle[C]∥ Dependable Computing Conference.2016:132-143. [2] MACKENZIE D,EGGERT P,STALLMAN R.Comparing and Merging Files With Gnu Diff and Patch.Network Theory Ltd.http://www.gnu.org/software/diffutils/manual/html_node/Unified-Format.html. [3] MULLER G,PADIOLEAU Y,LAWALL J L,et al.Semantic patches considered helpful[J].ACM Sigops Operating Systems Review,2006,40(3):90-92. [4] BRUNEL J,DOLIGEZ D,HANSEN R R,et al.A foundation for flow-based program matching using temporal logic and model checking[C]∥POPL 2009.2009:114-126. [5] PADIOLEAU Y,LAWALL J,HANSEN R R,et al.Documenting and automating collateral evolutions in Linux device drivers[C]∥EuroSys 2008.Glasgow,Scotland:ACM,2008:247-260. [6] PADIOLEAU Y,LAWALL J L,MULLER G.Under standing collateral evolution in Linux device drivers[C]∥EuroSys.2006:59-71. [7] LAWALL J L,BRUNEL J,PALIX N,et al.WYSIWIB:exploiting fine-grained program structure in a scriptable API-usage protocol-finding process[J].Software:Practice and Experience, 2013,43(1):67-92. [8] ENGLER D R,CHELF B,CHOU A,et al.Checking systemrules using system-specific,programmer-written compiler extensions[C]∥OSDI’00.San Diego,CA,2000:1-16. [9] CHOU A,YANG J,CHELF B,et al.An empirical study of ope-rating systems errors[C]∥Proceedings of the Eighteenth ACM Symposium on Operating Systems Principles(SOSP ’01).New York,NY,USA,ACM,2001:73-88. [10] PALIX N,THOMAS G,SAHA S,et al.Faults in Linux:tenyears later[C]∥16th International Conference on Architectural Support for Programming Languages and Operating Systems.Newport Beach,CA,USA,2011:305-318. [11] CORBET J,RUBINI A,KROAH G.Linux Device Drivers(third edition)[M].USA:O’Reilly,2006:35-45. [12] BOVET D P,CESATI M.Understanding the Linux Kernel(third edition)[M].USA:O’Reilly,2007:525-534. [13] GALLAGHER K B,LYLE J R.Using program slicing in software maintenance[J].Transactions on Software Engineering,1991,17(18):751-761. [14] WEISER M.Program slicing[C]∥ICSE 1981.1981:439-499. [15] REN X,SHAH F,TIP F,et al.Chianti:A tool for change impact analysis of Java programs[C]∥OOPSLA’04.Vancouver,BC,Canada,2004:432-448. [16] ANDERSEN J,LAWALL J L.Generic patch inference[J].Automated Software Engineering,2010,17(2):119-148. [17] MENG N,KIM M,MCKINLEY K S.LASE:locating and app-lying systematic edits by learning from examples[C]∥ICSE 2013.2013:502-511. |
No related articles found! |
|