diff options
author | Nguyễn Gia Phong <cnx@loang.net> | 2023-12-11 08:30:17 +0900 |
---|---|---|
committer | Nguyễn Gia Phong <cnx@loang.net> | 2023-12-11 08:30:17 +0900 |
commit | 0f6b9207d5380eefb3a99d21a12751a32de63bfb (patch) | |
tree | 6528b28a3b8532b0afe67ebd787196076a6846bc /ref.bib | |
parent | 3285b6df66a9c3e0a6502ae75c93085f2d6a0f44 (diff) | |
download | thesis-0f6b9207d5380eefb3a99d21a12751a32de63bfb.tar.gz |
Finish introduction
Diffstat (limited to 'ref.bib')
-rw-r--r-- | ref.bib | 92 |
1 files changed, 76 insertions, 16 deletions
diff --git a/ref.bib b/ref.bib index 4c2eac1..9519fca 100644 --- a/ref.bib +++ b/ref.bib @@ -30,6 +30,25 @@ pages = {237--240}, note = {\doi{10.1109/CCC.1999.766282}}} +@article{incremental, + author = {Craig Larman and Victor R. Basili}, + journal = {Computer}, + publisher = {IEEE Computer Society}, + title = {Iterative and incremental developments: A brief history}, + year = 2003, + volume = 36, + number = 6, + pages = {47--56}, + note = {\doi{10.1109/MC.2003.1204375}}} + +@inproceedings{nix, + author = {Eelco Dolstra and Armijn Hemel}, + title = {Purely Functional System Configuration Management}, + booktitle = {USENIX workshop on Hot top. oper. syst. (HotOS)}, + year = 2007, + month = may, + url = {https://www.usenix.org/conference/hotos-xi/purely-functional-system-configuration-management}} + @inproceedings{klee, author = {Cristian Cadar and Daniel Dunbar and Dawson Engler}, title = {{KLEE}: Unassisted and Automatic Generation of High-Coverage Tests @@ -151,6 +170,17 @@ pages = {17--26}, doi = {10.1109/Trustcom.2015.608}} +@article{fl-survey, + author = {Wong, W. Eric and Gao, Ruizhi and Li, Yihao + and Rui Abreu and Franz Wotawa}, + journal = {IEEE Trans. Softw. Eng. (TSE)}, + title = {A Survey on Software Fault Localization}, + year = 2016, + volume = 42, + number = 8, + pages = {707--740}, + note = {\doi{10.1109/TSE.2016.2521368}}} + @inproceedings{angelix, author={Sergey Mechtaev and Yi, Jooyong and Abhik Roychoudhury}, booktitle = {Proc. ACM/IEEE Int. Conf. Softw. Eng. (ICSE)}, @@ -160,6 +190,29 @@ pages = {691--701}, note = {\doi{10.1145/2884781.2884807}}} +@inproceedings{prophet, + author = {Long, Fan and Martin Rinard}, + title = {Automatic Patch Generation by Learning Correct Code}, + year = 2016, + note = {\doi{10.1145/2837614.2837617}}, + booktitle = {Proc. ACM SIGPLAN-SIGACT Symp. Princ. Program. Lang. (POPL)}, + pages = {298--312}, + numpages = {15}, + keywords = {Program repair, Learning correct code, Code correctness model}} + +@article{apr, + author = {Claire {Le Goues} and Michael {Pradel} and Abhik Roychoudhury}, + title = {Automated Program Repair}, + year = 2019, + volume = 62, + number = 12, + issn = {0001-0782}, + note = {\doi{10.1145/3318162}}, + journal = {Commun. ACM}, + month = nov, + pages = {56--65}, + numpages = 10} + @article{repairnator, author = {Martin Monperrus and Simon Urli and Thomas Durieux and Matias Martinez and Benoit Baudry and Lionel Seinturier}, @@ -174,6 +227,27 @@ articleno = 2, numpages = 12} +@article{hypothesis, + note = {\doi{10.21105/joss.01891}}, + year = 2019, + publisher = {The Open Journal}, + volume = 4, + number = 43, + pages = {1891}, + author = {David R. MacIver and Zac Hatfield-Dodds + and {many other contributors}}, + title = {Hypothesis: A new approach to property-based testing}, + journal = {Journal of Open Source Software}} + +@inproceedings{nezha, + author = {Theofilos Petsios and Adrian Tang and Salvatore Stolfo + and Angelos D. Keromytis and Suman Jana}, + booktitle = {IEEE Symp. Secur. and Priv. (SP)}, + title = {Nezha: Efficient Domain-Independent Differential Testing}, + year = 2017, + pages = {615--632}, + note = {\doi{10.1109/SP.2017.27}}} + @inproceedings{dbgbench, author = {Marcel B\"{o}hme and Ezekiel Olamide Soremekun and Sudipta Chattopadhyay and Emamurho Ugherughe @@ -258,7 +332,8 @@ and Tegawend\'{e} F. Bissyand\'{e} and Kim, Dongsun and Wu, Peng and Jacques Klein and Mao, Xiaoguang and Le Traon, Yves}, title = {On the Efficiency of Test Suite Based Program Repair: - A Systematic Assessment of 16 Automated Repair Systems for Java Programs}, + A Systematic Assessment of 16 Automated Repair Systems + for Java Programs}, year = 2020, isbn = {9781450371216}, publisher = {Association for Computing Machinery}, @@ -269,20 +344,6 @@ keywords = {patch generation, program repair, empirical assessment, efficiency}} -@article{apr, - author = {Claire {Le Goues} and M. Pradel - and Abhik Roychoudhury and S. Chandra}, - journal = {IEEE Software}, - title = {Automatic Program Repair}, - year = 2021, - volume = 38, - number = {04}, - issn = {1937-4194}, - pages = {22--27}, - doi = {10.1109/MS.2021.3072577}, - publisher = {IEEE Computer Society}, - month = jul} - @inproceedings{cpr, author = {Ridwan Salihin Shariffdeen and Yannic Noller and Lars Grunske and Abhik Roychoudhury}, @@ -349,4 +410,3 @@ title = {{MSV}}, publisher = {Suresoft}, url = {https://github.com/Suresoft-GLaDOS/MSV}} - url = |