Fetching the paper…
Reading the bibliography…
Among the many different kinds of program repair techniques, one widely studied family of techniques is called test suite based repair.
Martinez M, Durieux T, Sommerard R, Xuan J, Monperrus M (2017) Automatic repair of real bugs in java: a large-scale experiment on the defects4j dataset. Empirical Software Engineering 22(4):1936–1964, DOI 10.1007/s10664-016-9470-4
1964
Earlier work this paper cites.
Csallner C, Smaragdakis Y (2004) Jcrasher: an automatic robustness tester for java. Software: Practice and Experience 34(11):1025–1050
2004
Earlier work this paper cites.
Tonella P (2004) Evolutionary testing of classes. SIGSOFT Softw Eng Notes 29(4):119–128, DOI 10.1145/1013886.1007528
2004
Earlier work this paper cites.
Godefroid P, Klarlund N, Sen K (2005) Dart: directed automated random testing. In: ACM Sigplan Notices, ACM, vol 40, pp 213–223
2005
Earlier work this paper cites.
Jones JA, Harrold MJ (2005) Empirical evaluation of the tarantula automatic fault-localization technique. In: Proceedings of the 20th IEEE/ACM International Conference on Automated Software Engineering, ACM, New York, NY, USA, ASE ’05, pp 273–282, DOI 10.1145/1101908.1101949
2005
Earlier work this paper cites.
Sen K, Marinov D, Agha G (2005) Cute: a concolic unit testing engine for c. In: ACM SIGSOFT Software Engineering Notes, ACM, vol 30, pp 263–272
2005
Earlier work this paper cites.
Liu C, Fei L, Yan X, Han J, Midkiff SP (2006) Statistical debugging: A hypothesis testing-based approach. IEEE Transactions on Software Engineering 32(10):831–848, DOI 10.1109/TSE.2006.105
2006
Earlier work this paper cites.
Xie T (2006) Augmenting automatically generated unit-test suites with regression oracle checking. In: Proceedings of the 20th European Conference on Object-Oriented Programming, Springer-Verlag, Berlin, Heidelberg, ECOOP’06, pp 380–403, DOI 10.1007/11785477_23
2006
Earlier work this paper cites.
Zhang X, Gupta N, Gupta R (2006) Locating faults through automated predicate switching. In: Proceedings of the 28th International Conference on Software Engineering, ACM, New York, NY, USA, ICSE ’06, pp 272–281, DOI 10.1145/1134285.1134324
2006
Earlier work this paper cites.
Brumley D, cker Chiueh T, Johnson R, Lin H, Song D (2007) Rich: Automatically protecting against integer-based vulnerabilities. In: In Symp. on Network and Distributed Systems Security
2007
Earlier work this paper cites.
Evans RB, Savoia A (2007) Differential testing: A new approach to change detection. In: The 6th Joint Meeting on European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering: Companion Papers, ACM, New York, NY, USA, ESEC-FSE companion ’07, pp 549–552, DOI 10.1145/1295014.1295038
2007
Earlier work this paper cites.
Pacheco C, Ernst MD (2007) Randoop: feedback-directed random testing for java. In: Companion to the 22nd ACM SIGPLAN conference on Object-oriented programming systems and applications companion, ACM, pp 815–816
2007
Earlier work this paper cites.
Cadar C, Dunbar D, Engler DR, et al (2008) Klee: Unassisted and automatic generation of high-coverage tests for complex systems programs. In: OSDI, vol 8, pp 209–224
2008
Earlier work this paper cites.
Taneja K, Xie T (2008) Diffgen: Automated regression unit-test generation. 2008 23rd IEEE/ACM International Conference on Automated Software Engineering pp 407–410
2008
Earlier work this paper cites.
Tillmann N, De Halleux J (2008) Pex: White box test generation for .net. In: Proceedings of the 2Nd International Conference on Tests and Proofs, Springer-Verlag, Berlin, Heidelberg, TAP’08, pp 134–153, URL http://dl.acm.org/citation.cfm?id=1792786.1792798
2008
Earlier work this paper cites.
Perkins JH, Kim S, Larsen S, Amarasinghe S, Bachrach J, Carbin M, Pacheco C, Sherwood F, Sidiroglou S, Sullivan G, Wong WF, Zibin Y, Ernst MD, Rinard M (2009) Automatically patching errors in deployed software pp 87–102, DOI 10.1145/1629575.1629585
2009
Earlier work this paper cites.
Baresi L, Lanzi PL, Miraz M (2010) Testful: an evolutionary test approach for java. In: Software testing, verification and validation (ICST), 2010 third international conference on, IEEE, pp 185–194
2010
Earlier work this paper cites.
Gu Z, Barr ET, Hamilton DJ, Su Z (2010) Has the bug really been fixed? In: Proceedings of the 32Nd ACM/IEEE International Conference on Software Engineering - Volume 1, ACM, New York, NY, USA, ICSE ’10, pp 55–64, DOI 10.1145/1806799.1806812
2010
Earlier work this paper cites.
Islam M, Csallner C (2010) Dsc+mock: A test case + mock class generator in support of coding against interfaces. In: Proceedings of the Eighth International Workshop on Dynamic Analysis, ACM, New York, NY, USA, WODA ’10, pp 26–31, DOI 10.1145/1868321.1868326
2010
Earlier work this paper cites.
Jha S, Gulwani S, Seshia SA, Tiwari A (2010) Oracle-guided component-based program synthesis. In: Proceedings of the 32Nd ACM/IEEE International Conference on Software Engineering - Volume 1, ACM, New York, NY, USA, ICSE ’10, pp 215–224, DOI 10.1145/1806799.1806833
2010
Earlier work this paper cites.
Păsăreanu CS, Rungta N (2010) Symbolic pathfinder: Symbolic execution of java bytecode. In: Proceedings of the IEEE/ACM International Conference on Automated Software Engineering, ACM, New York, NY, USA, ASE ’10, pp 179–180, DOI 10.1145/1858996.1859035
2010
Earlier work this paper cites.
Wei Y, Pei Y, Furia CA, Silva LS, Buchholz S, Meyer B, Zeller A (2010) Automated fixing of programs with contracts. In: Proceedings of the 19th International Symposium on Software Testing and Analysis, ACM, New York, NY, USA, ISSTA ’10, pp 61–72, DOI 10.1145/1831708.1831716
2010
Cited alongside, same era.
Arcuri A, Briand L (2011) A practical guide for using statistical tests to assess randomized algorithms in software engineering. In: Proceedings of the 33rd International Conference on Software Engineering, ACM, New York, NY, USA, ICSE ’11, pp 1–10, DOI 10.1145/1985793.1985795
2011
Cited alongside, same era.
Fraser G, Arcuri A (2011) Evosuite: automatic test suite generation for object-oriented software. In: Proceedings of the 19th ACM SIGSOFT Symposium and the 13th European Conference on Foundations of Software Engineering, ACM, New York, NY, USA, ESEC/FSE ’11, pp 416–419, DOI 10.1145/2025113.2025179
2011
Cited alongside, same era.
Yu Z, Bai C, Cai KY (2015) Does the failing test execute a single or multiple faults?: An approach to classifying failing tests. In: Proceedings of the 37th International Conference on Software Engineering - Volume 1, IEEE Press, Piscataway, NJ, USA, ICSE ’15, pp 924–935, URL http://dl.acm.org/citation.cfm?id=2818754.2818866
2015
Later among the works it cites.
B Le TD, Lo D, Le Goues C, Grunske L (2016) A learning-to-rank based fault localization approach using likely invariants. In: Proceedings of the 25th International Symposium on Software Testing and Analysis, ACM, New York, NY, USA, ISSTA 2016, pp 177–188, DOI 10.1145/2931037.2931049
2016
Later among the works it cites.
Laghari G, Murgia A, Demeyer S (2016) Fine-tuning spectrum based fault localisation with frequent method item sets. In: Proceedings of the 31st IEEE/ACM International Conference on Automated Software Engineering, ACM, New York, NY, USA, ASE 2016, pp 274–285, DOI 10.1145/2970276.2970308
2016
Later among the works it cites.
alphaXiv searches the wider corpus for related work and actual follow-ups.
alphaXiv is searching for related work…
2011
Cited alongside, same era.
Goues CL, Nguyen T, Forrest S, Weimer W (2012) Genprog: A generic method for automatic software repair. IEEE Trans Software Eng 38(1):54–72
2012
Cited alongside, same era.
Park S, Hossain B, Hussain I, Csallner C, Grechanik M, Taneja K, Fu C, Xie Q (2012) Carfast: Achieving higher statement coverage faster. In: Proceedings of the ACM SIGSOFT 20th International Symposium on the Foundations of Software Engineering, ACM, p 35
2012
Cited alongside, same era.
Kim D, Nam J, Song J, Kim S (2013) Automatic patch generation learned from human-written patches. In: Proceedings of the 2013 International Conference on Software Engineering, IEEE Press, pp 802–811
2013
Cited alongside, same era.
Nguyen HDT, Qi D, Roychoudhury A, Chandra S (2013) Semfix: Program repair via semantic analysis. In: Proceedings of the 2013 International Conference on Software Engineering, IEEE Press, Piscataway, NJ, USA, ICSE ’13, pp 772–781, URL http://dl.acm.org/citation.cfm?id=2486788.2486890
2013
Cited alongside, same era.
Weimer W, Fry ZP, Forrest S (2013) Leveraging program equivalence for adaptive program repair: Models and first results. In: 2013 28th IEEE/ACM International Conference on Automated Software Engineering (ASE), pp 356–366, DOI 10.1109/ASE.2013.6693094
2013
Cited alongside, same era.
Yu Z, Bai C, Cai KY (2013) Mutation-oriented test data augmentation for gui software fault localization. Inf Softw Technol 55(12):2076–2098, DOI 10.1016/j.infsof.2013.07.004
2013
Cited alongside, same era.
Just R, Jalali D, Inozemtseva L, Ernst MD, Holmes R, Fraser G (2014b) Are mutants a valid substitute for real faults in software testing? In: FSE 2014, Proceedings of the ACM SIGSOFT 22nd Symposium on the Foundations of Software Engineering, Hong Kong, pp 654–665
2014
Cited alongside, same era.
Pei Y, Furia CA, Nordio M, Wei Y, Meyer B, Zeller A (2014) Automated fixing of programs with contracts. IEEE Transactions on Software Engineering 40(5):427–449, DOI 10.1109/TSE.2014.2312918
2014
Cited alongside, same era.
Long F, Rinard M (2016) Automatic patch generation by learning correct code. In: Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, ACM, New York, NY, USA, POPL ’16, pp 298–312, DOI 10.1145/2837614.2837617
2016
Later among the works it cites.
Martinez M, Monperrus M (2016) Astor: A program repair library for java (demo). In: Proceedings of the 25th International Symposium on Software Testing and Analysis, ACM, New York, NY, USA, ISSTA 2016, pp 441–444, DOI 10.1145/2931037.2948705
2016
Later among the works it cites.
Mechtaev S, Yi J, Roychoudhury A (2016) Angelix: Scalable multiline program patch synthesis via symbolic analysis. In: Proceedings of the 38th International Conference on Software Engineering, ACM, New York, NY, USA, ICSE ’16, pp 691–701, DOI 10.1145/2884781.2884807
2016
Later among the works it cites.
Xuan J, Martinez M, Demarco F, Clément M, Lamelas S, Durieux T, Le Berre D, Monperrus M (2016) Nopol: Automatic repair of conditional statement bugs in java programs. IEEE Transactions on Software Engineering DOI 10.1109/TSE.2016.2560811
2016
Later among the works it cites.
Almasi MM, Hemmati H, Fraser G, Arcuri A, Benefelds J (2017) An industrial evaluation of unit test generation: Finding real faults in a financial application. In: Proceedings of the 39th International Conference on Software Engineering: Software Engineering in Practice Track, IEEE Press, Piscataway, NJ, USA, ICSE-SEIP ’17, pp 263–272, DOI 10.1109/ICSE-SEIP.2017.27
2017
Later among the works it cites.
Durieux T, Cornu B, Seinturier L, Monperrus M (2017) Dynamic patch generation for null pointer exceptions using metaprogramming. In: 2017 IEEE 24th International Conference on Software Analysis, Evolution and Reengineering (SANER), pp 349–358, DOI 10.1109/SANER.2017.7884635
2017
Later among the works it cites.
Le XBD, Chu DH, Lo D, Le Goues C, Visser W (2017a) S3: Syntax- and semantic-guided repair synthesis via programming by examples. In: Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering, ACM, New York, NY, USA, ESEC/FSE 2017, pp 593–604, DOI 10.1145/3106237.3106309
2017
Later among the works it cites.
Liu X, Zeng M, Xiong Y, Zhang L, Huang G (2017) Identifying patch correctness in test-based automatic program repair. arXiv preprint arXiv:170609120
2017
Later among the works it cites.
Long F, Amidon P, Rinard M (2017) Automatic inference of code transforms for patch generation. In: Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering, ACM, pp 727–739
2017
Later among the works it cites.
Monperrus M (2017) Automatic Software Repair: a Bibliography. ACM Computing Surveys URL https://hal.archives-ouvertes.fr/hal-01206501/file/survey-automatic-repair.pdf
2017
Later among the works it cites.
Pearson S, Campos J, Just R, Fraser G, Abreu R, Ernst MD, Pang D, Keller B (2017) Evaluating and improving fault localization. In: Proceedings of the 39th International Conference on Software Engineering, IEEE Press, Piscataway, NJ, USA, ICSE ’17, pp 609–620, DOI 10.1109/ICSE.2017.62
2017
Later among the works it cites.
Tian Y, Ray B (2017) Automatically diagnosing and repairing error handling bugs in c. In: Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering, ACM, New York, NY, USA, ESEC/FSE 2017, pp 752–762, DOI 10.1145/3106237.3106300
2017
Later among the works it cites.
Xin Q, Reiss SP (2017) Identifying test-suite-overfitted patches through test case generation. In: Proceedings of the 26th ACM SIGSOFT International Symposium on Software Testing and Analysis, ACM, New York, NY, USA, ISSTA 2017, pp 226–236, DOI 10.1145/3092703.3092718
2017
Later among the works it cites.
Xiong Y, Wang J, Yan R, Zhang J, Han S, Huang G, Zhang L (2017) Precise condition synthesis for program repair. In: Proceedings of the 39th International Conference on Software Engineering, IEEE Press, Piscataway, NJ, USA, ICSE ’17, pp 416–426, DOI 10.1109/ICSE.2017.45
2017
Later among the works it cites.
Yang J, Zhikhartsev A, Liu Y, Tan L (2017) Better test cases for better automated program repair. In: Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering, ACM, pp 831–841
2017
Later among the works it cites.
Yi J, Tan SH, Mechtaev S, Böhme M, Roychoudhury A (2017) A correlation study between automated program repair and test-suite metrics. Empirical Software Engineering pp 1–32
2017
Later among the works it cites.