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 =