{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,13]],"date-time":"2025-12-13T23:08:24Z","timestamp":1765667304282,"version":"3.40.3"},"publisher-location":"Cham","reference-count":22,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030577605"},{"type":"electronic","value":"9783030577612"}],"license":[{"start":{"date-parts":[[2020,1,1]],"date-time":"2020-01-01T00:00:00Z","timestamp":1577836800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"},{"start":{"date-parts":[[2020,8,18]],"date-time":"2020-08-18T00:00:00Z","timestamp":1597708800000},"content-version":"vor","delay-in-days":230,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2020]]},"DOI":"10.1007\/978-3-030-57761-2_3","type":"book-chapter","created":{"date-parts":[[2020,8,31]],"date-time":"2020-08-31T12:47:58Z","timestamp":1598878078000},"page":"47-68","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":3,"title":["Generating Next Step Hints for Task Oriented Programs Using Symbolic Execution"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-3442-1543","authenticated-orcid":false,"given":"Nico","family":"Naus","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-8436-2054","authenticated-orcid":false,"given":"Tim","family":"Steenvoorden","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2020,8,18]]},"reference":[{"key":"3_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"407","DOI":"10.1007\/3-540-63139-9_48","volume-title":"Application and Theory of Petri Nets 1997","author":"WMP Aalst","year":"1997","unstructured":"Aalst, W.M.P.: Verification of workflow nets. In: Az\u00e9ma, P., Balbo, G. (eds.) ICATPN 1997. LNCS, vol. 1248, pp. 407\u2013426. Springer, Heidelberg (1997). https:\/\/doi.org\/10.1007\/3-540-63139-9_48"},{"issue":"1","key":"3_CR2","doi-asserted-by":"publisher","first-page":"21","DOI":"10.1142\/S0218126698000043","volume":"8","author":"WMP van der Aalst","year":"1998","unstructured":"van der Aalst, W.M.P.: The application of petri nets to workflow management. J. Circuits Syst. Comput. 8(1), 21\u201366 (1998)","journal-title":"J. Circuits Syst. Comput."},{"issue":"1","key":"3_CR3","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1023\/A:1022883727209","volume":"14","author":"WMP van der Aalst","year":"2003","unstructured":"van der Aalst, W.M.P., ter Hofstede, A.H.M., Kiepuszewski, B., Barros, A.P.: Workflow patterns. Distrib. Parallel Databases 14(1), 5\u201351 (2003)","journal-title":"Distrib. Parallel Databases"},{"key":"3_CR4","doi-asserted-by":"crossref","unstructured":"Boyer, R.S., Elspas, B., Levitt, K.N.: Select - a formal system for testing and debugging programs by symbolic execution. In: Proceedings of the International Conference on Reliable Software, pp. 234\u2013245. ACM, New York (1975)","DOI":"10.1145\/390016.808445"},{"key":"3_CR5","doi-asserted-by":"crossref","unstructured":"Chang, S., Knauth, A., Torlak, E.: Symbolic types for lenient symbolic execution. In: PACMPL 2(POPL), pp. 40:1\u201340:29 (2018)","DOI":"10.1145\/3158128"},{"issue":"1","key":"3_CR6","doi-asserted-by":"publisher","first-page":"65","DOI":"10.1007\/s40593-015-0080-x","volume":"27","author":"A Gerdes","year":"2016","unstructured":"Gerdes, A., Heeren, B., Jeuring, J., van Binsbergen, L.T.: Ask-Elle: an adaptable programming tutor for haskell giving automated feedback. Int. J. Artif. Intell. Educ. 27(1), 65\u2013100 (2016). https:\/\/doi.org\/10.1007\/s40593-015-0080-x","journal-title":"Int. J. Artif. Intell. Educ."},{"key":"3_CR7","doi-asserted-by":"publisher","first-page":"109","DOI":"10.1016\/j.scico.2017.04.008","volume":"147","author":"A Giantsios","year":"2017","unstructured":"Giantsios, A., Papaspyrou, N., Sagonas, K.: Concolic testing for functional languages. Sci. Comput. Program. 147, 109\u2013134 (2017)","journal-title":"Sci. Comput. Program."},{"key":"3_CR8","doi-asserted-by":"crossref","unstructured":"Hallahan, W.T., Xue, A., Bland, M.T., Jhala, R., Piskac, R.: Lazy counterfactual symbolic execution. In: McKinley, K.S., Fisher, K. (eds.) Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2019, Phoenix, AZ, USA, 22\u201326 June 2019, pp. 411\u2013424. ACM (2019)","DOI":"10.1145\/3314221.3314618"},{"key":"3_CR9","unstructured":"Hallahan, W.T., Xue, A., Piskac., R.: Building a symbolic execution engine for haskell. In: Proceedings of TAPAS, vol. 17 (2017)"},{"key":"3_CR10","doi-asserted-by":"publisher","first-page":"110","DOI":"10.1016\/j.scico.2014.02.021","volume":"88","author":"B Heeren","year":"2014","unstructured":"Heeren, B., Jeuring, J.: Feedback services for stepwise exercises. Sci. Comput. Program. 88, 110\u2013129 (2014)","journal-title":"Sci. Comput. Program."},{"issue":"1","key":"3_CR11","doi-asserted-by":"publisher","first-page":"3:1","DOI":"10.1145\/3231711","volume":"19","author":"H Keuning","year":"2019","unstructured":"Keuning, H., Jeuring, J., Heeren, B.: A systematic literature review of automated feedback generation for programming exercises. TOCE 19(1), 3:1\u20133:43 (2019)","journal-title":"TOCE"},{"issue":"6","key":"3_CR12","doi-asserted-by":"publisher","first-page":"228","DOI":"10.1145\/390016.808444","volume":"10","author":"JC King","year":"1975","unstructured":"King, J.C.: A new approach to program testing. SIGPLAN Notices 10(6), 228\u2013233 (1975)","journal-title":"SIGPLAN Notices"},{"key":"3_CR13","doi-asserted-by":"crossref","unstructured":"Koopman, P., Lubbers, M., Plasmeijer, R.: A task-based DSL for microcomputers. In: Proceedings of the Real World Domain Specific Languages Workshop, RWDSL@CGO 2018, Vienna, Austria, 24\u201324 February 2018, pp. 4:1\u20134:11. ACM (2018)","DOI":"10.1145\/3183895.3183902"},{"issue":"3","key":"3_CR14","doi-asserted-by":"publisher","first-page":"610","DOI":"10.1016\/j.infsof.2008.08.005","volume":"51","author":"KB Lassen","year":"2009","unstructured":"Lassen, K.B., van der Aalst, W.M.P.: Complexity metrics for workflow nets. Inf. Softw. Technol. 51(3), 610\u2013626 (2009)","journal-title":"Inf. Softw. Technol."},{"key":"3_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"172","DOI":"10.1007\/978-3-030-14805-8_10","volume-title":"Trends in Functional Programming","author":"N Naus","year":"2019","unstructured":"Naus, N., Jeuring, J.: Building a generic feedback system for rule-based problems. In: Van Horn, D., Hughes, J. (eds.) TFP 2016. LNCS, vol. 10447, pp. 172\u2013191. Springer, Cham (2019). https:\/\/doi.org\/10.1007\/978-3-030-14805-8_10"},{"key":"3_CR16","doi-asserted-by":"crossref","unstructured":"Naus, N., Steenvoorden, T., Klinik, M.: A symbolic execution semantics for tophat. In: IFL 2019 (accepted for publication) (2019)","DOI":"10.1145\/3354166.3354182"},{"key":"3_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"201","DOI":"10.1007\/978-3-642-30950-2_26","volume-title":"Intelligent Tutoring Systems","author":"L Paquette","year":"2012","unstructured":"Paquette, L., Lebeau, J.-F., Beaulieu, G., Mayers, A.: Automating next-step hints generation using ASTUS. In: Cerri, S.A., Clancey, W.J., Papadourakis, G., Panourgia, K. (eds.) ITS 2012. LNCS, vol. 7315, pp. 201\u2013211. Springer, Heidelberg (2012). https:\/\/doi.org\/10.1007\/978-3-642-30950-2_26"},{"key":"3_CR18","unstructured":"Plasmeijer, R., van Eekelen, M., van Groningen, J.: Clean language report version 2.1 (2002)"},{"key":"3_CR19","doi-asserted-by":"crossref","unstructured":"Plasmeijer, R., Lijnse, B., Michels, S., Achten, P., Koopman, P.W.M.: Task-oriented programming in a pure functional language. In: Principles and Practice of Declarative Programming, PPDP 2012, Leuven, Belgium, 19\u201321 September 2012, pp. 195\u2013206 (2012)","DOI":"10.1145\/2370776.2370801"},{"key":"3_CR20","doi-asserted-by":"crossref","unstructured":"Steenvoorden, T., Naus, N., Klinik, M.: Tophat: a formal foundation for task-oriented programming. In: Proceedings of the 21st International Symposium on Principles and Practice of Programming Languages, PPDP 2019, Porto, Portugal, 7\u20139 October 2019, pp. 17:1\u201317:13 (2019)","DOI":"10.1145\/3354166.3354182"},{"key":"3_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"19","DOI":"10.1007\/978-3-319-89719-6_2","volume-title":"Trends in Functional Programming","author":"J Stutterheim","year":"2018","unstructured":"Stutterheim, J., Achten, P., Plasmeijer, R.: Maintaining separation of concerns through task oriented software development. In: Wang, M., Owens, S. (eds.) TFP 2017. LNCS, vol. 10788, pp. 19\u201338. Springer, Cham (2018). https:\/\/doi.org\/10.1007\/978-3-319-89719-6_2"},{"key":"3_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"122","DOI":"10.1007\/978-3-319-14675-1_8","volume-title":"Trends in Functional Programming","author":"J Stutterheim","year":"2015","unstructured":"Stutterheim, J., Plasmeijer, R., Achten, P.: Tonic: an infrastructure to graphically represent the definition and behaviour of tasks. In: Hage, J., McCarthy, J. (eds.) TFP 2014. LNCS, vol. 8843, pp. 122\u2013141. Springer, Cham (2015). https:\/\/doi.org\/10.1007\/978-3-319-14675-1_8"}],"container-title":["Lecture Notes in Computer Science","Trends in Functional Programming"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-57761-2_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,10,6]],"date-time":"2023-10-06T15:28:47Z","timestamp":1696606127000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-030-57761-2_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020]]},"ISBN":["9783030577605","9783030577612"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-57761-2_3","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2020]]},"assertion":[{"value":"18 August 2020","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"TFP","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Symposium on Trends in Functional Programming","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Krakow","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Poland","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2020","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"13 February 2020","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"14 February 2020","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"21","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"tfp2020","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/tfp2020.org\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Single-blind","order":1,"name":"type","label":"Type","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"EasyChair","order":2,"name":"conference_management_system","label":"Conference Management System","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"22","order":3,"name":"number_of_submissions_sent_for_review","label":"Number of Submissions Sent for Review","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"11","order":4,"name":"number_of_full_papers_accepted","label":"Number of Full Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"0","order":5,"name":"number_of_short_papers_accepted","label":"Number of Short Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"50% - The value is computed by the equation \"Number of Full Papers Accepted \/ Number of Submissions Sent for Review * 100\" and then rounded to a whole number.","order":6,"name":"acceptance_rate_of_full_papers","label":"Acceptance Rate of Full Papers","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"3,21","order":7,"name":"average_number_of_reviews_per_paper","label":"Average Number of Reviews per Paper","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"3,39","order":8,"name":"average_number_of_papers_per_reviewer","label":"Average Number of Papers per Reviewer","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"Yes","order":9,"name":"external_reviewers_involved","label":"External Reviewers Involved","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}}]}}