Fetching the paper…
Reading the bibliography…
In introductory programming courses, it is challenging for instructors to provide debugging feedback on students' incorrect programs.
A. Adam and J.-P. Laurent, “Laura, a system to debug student programs,” Artificial Intelligence , vol. 15, no. 1, pp. 75–122, 1980. [Online]. Available: http://www.sciencedirect.com/science/article/pii/0004370280900235
1980
Earlier work this paper cites.
K. Zhang and D. Shasha, “Simple fast algorithms for the editing distance between trees and related problems,” SIAM J. Comput. , vol. 18, no. 6, pp. 1245–1262, Dec. 1989. [Online]. Available: https://doi.org/10.1137/0218082
1989
Earlier work this paper cites.
K. A. Reek, “A software infrastructure to support introductory computer science courses,” SIGCSE Bull. , vol. 28, no. 1, pp. 125–129, Mar. 1996. [Online]. Available: https://doi.org/10.1145/236462.236524
1996
Earlier work this paper cites.
D. Jackson and M. Usher, “Grading student programs using assyst,” SIGCSE Bull. , vol. 29, no. 1, pp. 335–339, Mar. 1997. [Online]. Available: https://doi.org/10.1145/268085.268210
1997
Earlier work this paper cites.
M. Luck and M. Joy, “A secure on-line submission system,” Software: Practice and Experience , vol. 29, no. 8, pp. 721–740, 1999
1999
Earlier work this paper cites.
J. Isong, “Developing an automated program checkers,” J. Comput. Sci. Coll. , vol. 16, no. 3, pp. 218–224, Mar. 2001
2001
Earlier work this paper cites.
S. H. Edwards, “Improving student performance by evaluating how well students test their own programs,” J. Educ. Resour. Comput. , vol. 3, no. 3, pp. 1–es, Sep. 2003. [Online]. Available: https://doi.org/10.1145/1029994.1029995
2003
Earlier work this paper cites.
A. V. Aho, M. S. Lam, R. Sethi, and J. D. Ullman, Compilers: Principles, Techniques, and Tools (2nd Edition) . USA: Addison-Wesley Longman Publishing Co., Inc., 2006
2006
Earlier work this paper cites.
J. H. Perkins, S. Kim, S. Larsen, S. Amarasinghe, J. Bachrach, M. Carbin, C. Pacheco, F. Sherwood, S. Sidiroglou, G. Sullivan, W.-F. Wong, Y. Zibin, M. D. Ernst, and M. Rinard, “Automatically patching errors in deployed software,” in SOSP ’09: Proceedings of the ACM SIGOPS 22nd symposium on Operating systems principles . New York, NY, USA: ACM, 2009, pp. 87–102
2009
Earlier work this paper cites.
W. Weimer, T. Nguyen, C. Le Goues, and S. Forrest, “Automatically finding patches using genetic programming,” in ICSE ’09: Proceedings of the 31st International Conference on Software Engineering . Washington, DC, USA: IEEE Computer Society, 2009, pp. 364–374
2009
Earlier work this paper cites.
N. Meng, M. Kim, and K. S. McKinley, “Systematic editing: Generating program transformations from an example,” in Proceedings of the 32nd ACM SIGPLAN Conference on Programming Language Design and Implementation , ser. PLDI ’11. New York, NY, USA: Association for Computing Machinery, 2011, pp. 329–342. [Online]. Available: https://doi.org/10.1145/1993498.1993537
2011
Earlier work this paper cites.
C. Le Goues, T. Nguyen, S. Forrest, and W. Weimer, “Genprog: A generic method for automatic software repair,” IEEE Trans. Softw. Eng. , vol. 38, no. 1, January 2012
2012
Earlier work this paper cites.
R. Singh, S. Gulwani, and A. Solar-Lezama, “Automated feedback generation for introductory programming assignments,” in Proceedings of the 34th ACM SIGPLAN Conference on Programming Language Design and Implementation , ser. PLDI ’13. New York, NY, USA: Association for Computing Machinery, 2013, pp. 15–26. [Online]. Available: https://doi.org/10.1145/2491956.2462195
2013
Earlier work this paper cites.
D. Kim, J. Nam, J. Song, and S. Kim, “Automatic patch generation learned from human-written patches,” in IEEE/ACM International Conference on Software Engineering (to appear) , 2013
2013
Earlier work this paper cites.
H. D. T. Nguyen, D. Qi, A. Roychoudhury, and S. Chandra, “Semfix: Program repair via semantic analysis,” in 2013 35th International Conference on Software Engineering (ICSE) , 2013, pp. 772–781
2013
Cited alongside, same era.
N. Meng, M. Kim, and K. McKinley, “Lase: Locating and applying systematic edits by learning from examples,” in Proceedings of the 2013 International Conference on Software Engineering , ser. ICSE ’13. IEEE Press, 2013, p. 502?511
2013
Cited alongside, same era.
N. Tillmann, J. de Halleux, T. Xie, S. Gulwani, and J. Bishop, “Teaching and learning programming and software engineering via interactive gaming,” in 2013 35th International Conference on Software Engineering (ICSE) , 2013, pp. 1117–1126
2013
Cited alongside, same era.
Y. Qi, X. Mao, Y. Lei, Z. Dai, and C. Wang, “The strength of random search on automated program repair,” in ICSE , 2014
2014
Cited alongside, same era.
S. Mechtaev, M.-D. Nguyen, Y. Noller, L. Grunske, and A. Roychoudhury, “Semantic program repair using a reference implementation,” in Proceedings of the 40th International Conference on Software Engineering , ser. ICSE ’18. New York, NY, USA: Association for Computing Machinery, 2018, pp. 129–139. [Online]. Available: https://doi.org/10.1145/3180155.3180247
2018
Later among the works it cites.
K. Wang, R. Singh, and Z. Su, “Search, align, and repair: Data-driven feedback generation for introductory programming exercises,” SIGPLAN Not. , vol. 53, no. 4, pp. 481–495, Jun. 2018. [Online]. Available: https://doi.org/10.1145/3296979.3192384
2018
Later among the works it cites.
D. M. Perry, D. Kim, R. Samanta, and X. Zhang, “Semcluster: Clustering of imperative programming assignments based on quantitative semantic features,” ser. PLDI 2019. New York, NY, USA: Association for Computing Machinery, 2019, pp. 860–873. [Online]. Available: https://doi.org/10.1145/3314221.3314629
2019
Later among the works it cites.
alphaXiv searches the wider corpus for related work and actual follow-ups.
alphaXiv is searching for related work…
F. DeMarco, J. Xuan, D. Le Berre, and M. Monperrus, “Automatic repair of buggy if conditions and missing preconditions with smt,” in Proceedings of the 6th International Workshop on Constraints in Software Testing, Verification, and Analysis , 2014
2014
Cited alongside, same era.
N. Tillmann, J. Bishop, N. Horspool, D. Perelman, and T. Xie, “Code hunt: Searching for secret code for fun,” in Proceedings of the 7th International Workshop on Search-Based Software Testing , ser. SBST 2014. New York, NY, USA: Association for Computing Machinery, 2014, pp. 23–26. [Online]. Available: https://doi.org/10.1145/2593833.2593838
2014
Cited alongside, same era.
K. Zimmerman and C. R. Rupakheti, “An automated framework for recommending program elements to novices (n),” in 2015 30th IEEE/ACM International Conference on Automated Software Engineering (ASE) , 2015, pp. 283–288
2015
Cited alongside, same era.
Y. Pu, K. Narasimhan, A. Solar-Lezama, and R. Barzilay, “sk_p: a neural program corrector for moocs,” 2016
2016
Cited alongside, same era.
S. Kaleeswaran, A. Santhiar, A. Kanade, and S. Gulwani, “Semi-supervised verified feedback generation,” in Proceedings of the 2016 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering , ser. FSE 2016. New York, NY, USA: Association for Computing Machinery, 2016. [Online]. Available: https://doi.org/10.1145/2950290.2950363
2016
Cited alongside, same era.
F. Long and M. Rinard, “Automatic patch generation by learning correct code,” SIGPLAN Not. , 2016
2016
Cited alongside, same era.
S. Mechtaev, J. Yi, and A. Roychoudhury, “Angelix: Scalable multiline program patch synthesis via symbolic analysis,” in 2016 IEEE/ACM 38th International Conference on Software Engineering (ICSE) , 2016, pp. 691–701
2016
Cited alongside, same era.
D. Kim, Y. Kwon, P. Liu, I. L. Kim, D. M. Perry, X. Zhang, and G. Rodriguez-Rivera, “Apex: Automatic programming assignment error explanation,” SIGPLAN Not. , vol. 51, no. 10, pp. 311–327, Oct. 2016. [Online]. Available: https://doi.org/10.1145/3022671.2984031
2016
Cited alongside, same era.
J. Bader, A. Scott, M. Pradel, and S. Chandra, “Getafix: Learning to fix bugs automatically,” Proc. ACM Program. Lang. , vol. 3, no. OOPSLA, Oct. 2019. [Online]. Available: https://doi.org/10.1145/3360585
2019
Later among the works it cites.
M. Tufano, C. Watson, G. Bavota, M. D. Penta, M. White, and D. Poshyvanyk, “An empirical study on learning bug-fixing patches in the wild via neural machine translation,” ACM Trans. Softw. Eng. Methodol. , vol. 28, no. 4, Sep. 2019. [Online]. Available: https://doi.org/10.1145/3340544
2019
Later among the works it cites.
D. Song, M. Lee, and H. Oh, “Automatic and scalable detection of logical errors in functional programming assignments,” Proc. ACM Program. Lang. , vol. 3, no. OOPSLA, Oct. 2019. [Online]. Available: https://doi.org/10.1145/3360614
2019
Later among the works it cites.
Y. Hu, U. Z. Ahmed, S. Mechtaev, B. Leong, and A. Roychoudhury, “Re-factoring based program repair applied to programming assignments,” in 2019 34th IEEE/ACM International Conference on Automated Software Engineering (ASE) , 2019, pp. 388–398
2019
Later among the works it cites.
G. Birch, B. Fischer, and M. Poppleton, “Fast test suite-driven model-based fault localization with application to pinpointing defects in student programs,” Software & Systems Modeling , vol. 18, no. 1, pp. 445–471, 2019. [Online]. Available: https://doi.org/10.1007/s10270-017-0612-y
2019
Later among the works it cites.
“Remember the MOOCs? After Near-Death, They’re Booming,” https://www.nytimes.com/2020/05/26/technology/moocs-online-learning.html
2020
Later among the works it cites.
“OpenJudge,” http://openjudge.cn
2020
Later among the works it cites.
“srcML,” https://www.srcml.org
2020
Later among the works it cites.
“Online Judge,” https://onlinejudge.org
2020
Later among the works it cites.
“LeetCode,” https://leetcode.com
2020
Later among the works it cites.
M. Yasunaga and P. Liang, “Graph-based, self-supervised program repair from diagnostic feedback,” in Proceedings of the 37th International Conference on Machine Learning , ser. Proceedings of Machine Learning Research, vol. 119. PMLR, 13–18 Jul 2020, pp. 10 799–10 808. [Online]. Available: http://proceedings.mlr.press/v119/yasunaga20a.html
2020
Later among the works it cites.