{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T07:20:40Z","timestamp":1742973640752,"version":"3.40.3"},"publisher-location":"Cham","reference-count":15,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319938455"},{"type":"electronic","value":"9783319938462"}],"license":[{"start":{"date-parts":[[2018,1,1]],"date-time":"2018-01-01T00:00:00Z","timestamp":1514764800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018]]},"DOI":"10.1007\/978-3-319-93846-2_55","type":"book-chapter","created":{"date-parts":[[2018,6,19]],"date-time":"2018-06-19T14:59:47Z","timestamp":1529420387000},"page":"296-300","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Active Learning for Efficient Testing of Student Programs"],"prefix":"10.1007","author":[{"given":"Ishan","family":"Rastogi","sequence":"first","affiliation":[]},{"given":"Aditya","family":"Kanade","sequence":"additional","affiliation":[]},{"given":"Shirish","family":"Shevade","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2018,6,20]]},"reference":[{"key":"55_CR1","doi-asserted-by":"crossref","unstructured":"Gupta, R., Pal, S., Kanade, A., Shevade, S.: Deepfix: fixing common C language errors by deep learning. In: Proceedings of the 31st AAAI Conference on Artificial Intelligence, pp. 1345\u20131351 (2017)","DOI":"10.1609\/aaai.v31i1.10742"},{"key":"55_CR2","doi-asserted-by":"crossref","unstructured":"Singh, R., Gulwani, S., Solar-Lezama, A.: Automated feedback generation for introductory programming assignments. In: Proceedings of the 34th ACM SIGPLAN Conference on Programming Language Design and Implementation, pp. 15\u201326 (2013)","DOI":"10.1145\/2491956.2462195"},{"key":"55_CR3","doi-asserted-by":"crossref","unstructured":"Kaleeswaran, S., Santhiar, A., Kanade, A., Gulwani, S.: Semi-supervised verified feedback generation. In: Proceedings of the 2016 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering, pp. 739\u2013750 (2016)","DOI":"10.1145\/2950290.2950363"},{"issue":"1","key":"55_CR4","doi-asserted-by":"publisher","first-page":"37","DOI":"10.1007\/s40593-015-0070-z","volume":"27","author":"K Rivers","year":"2017","unstructured":"Rivers, K., Koedinger, K.R.: Data-driven hint generation in vast solution spaces: a self-improving python programming tutor. Int. J. Artif. Intell. Educ. 27(1), 37\u201364 (2017)","journal-title":"Int. J. Artif. Intell. Educ."},{"key":"55_CR5","doi-asserted-by":"crossref","unstructured":"Tang, T., Smith, R., Rixner, S., Warren, J.: Data-driven test case generation for automated programming assessment. In: Proceedings of the 2016 ACM Conference on Innovation and Technology in Computer Science Education, pp. 260\u2013265 (2016)","DOI":"10.1145\/2899415.2899423"},{"key":"55_CR6","unstructured":"http:\/\/codeforces.com"},{"key":"55_CR7","unstructured":"https:\/\/www.codechef.com"},{"key":"55_CR8","unstructured":"https:\/\/leetcode.com"},{"key":"55_CR9","unstructured":"https:\/\/www.topcoder.com"},{"key":"55_CR10","unstructured":"Baldoni, R., Coppa, E., D\u2019Elia, D.C., Demetrescu, C., Finocchi, I.: A survey of symbolic execution techniques. CoRR abs\/1610.00502 (2016)"},{"key":"55_CR11","unstructured":"Cadar, C., Dunbar, D., Engler, D.: Klee: Unassisted and automatic generation of high-coverage tests for complex systems programs. In: Proceedings of the 8th USENIX Conference on Operating Systems Design and Implementation, pp. 209\u2013224 (2008)"},{"key":"55_CR12","unstructured":"Settles, B.: Active learning literature survey. Technical report (2010)"},{"key":"55_CR13","unstructured":"https:\/\/github.com\/eliben\/pycparser"},{"key":"55_CR14","doi-asserted-by":"crossref","unstructured":"Chen, T., Guestrin, C.: Xgboost: A scalable tree boosting system. In: Proceedings of the 22nd ACM SIGKDD International Conference on Knowledge Discovery and Data Mining, pp. 785\u2013794 (2016)","DOI":"10.1145\/2939672.2939785"},{"key":"55_CR15","first-page":"2825","volume":"12","author":"F Pedregosa","year":"2011","unstructured":"Pedregosa, F., Varoquaux, G., Gramfort, A., Michel, V., Thirion, B., Grisel, O., Blondel, M., Prettenhofer, P., Weiss, R., Dubourg, V., Vanderplas, J., Passos, A., Cournapeau, D., Brucher, M., Perrot, M., Duchesnay, E.: Scikit-learn: machine learning in python. J. Mach. Learn. Res. 12, 2825\u20132830 (2011)","journal-title":"J. Mach. Learn. Res."}],"container-title":["Lecture Notes in Computer Science","Artificial Intelligence in Education"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-93846-2_55","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,8,25]],"date-time":"2022-08-25T23:37:41Z","timestamp":1661470661000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-93846-2_55"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018]]},"ISBN":["9783319938455","9783319938462"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-93846-2_55","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2018]]}}}