{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,13]],"date-time":"2026-04-13T22:46:21Z","timestamp":1776120381063,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":35,"publisher":"ACM","license":[{"start":{"date-parts":[[2013,4,27]],"date-time":"2013-04-27T00:00:00Z","timestamp":1367020800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2013,4,27]]},"DOI":"10.1145\/2470654.2470764","type":"proceedings-article","created":{"date-parts":[[2013,5,1]],"date-time":"2013-05-01T19:47:45Z","timestamp":1367437665000},"page":"773-782","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":44,"title":["A trace-based framework for analyzing and synthesizing educational progressions"],"prefix":"10.1145","author":[{"given":"Erik","family":"Andersen","sequence":"first","affiliation":[{"name":"University of Washington, Seattle, Washington, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sumit","family":"Gulwani","sequence":"additional","affiliation":[{"name":"Microsoft Research, Redmond, Washington, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Zoran","family":"Popovic","sequence":"additional","affiliation":[{"name":"University of Washington, Seattle, Washington, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2013,4,27]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"JUMP Mathematics in Lambeth: Impact on KS2 National Tests","author":"Aduba N.","year":"2009","unstructured":"N. Aduba . JUMP Mathematics in Lambeth: Impact on KS2 National Tests 2009 . http:\/\/jumpmath1.org\/research_reports, Nov. 2009. N. Aduba. JUMP Mathematics in Lambeth: Impact on KS2 National Tests 2009. http:\/\/jumpmath1.org\/research_reports, Nov. 2009."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1007\/11774303_7"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/2159365.2159370"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/1978942.1979131"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/2207676.2207687"},{"key":"e_1_3_2_1_6_1","volume-title":"Specification, verification and synthesis for automata problems. Technical report","author":"Gulwani S.","year":"2012","unstructured":"Cerny, S. Gulwani , T. Henzinger , A. Radhakrishna , and D. Zufferey . Specification, verification and synthesis for automata problems. Technical report , 2012 . Cerny, S. Gulwani, T. Henzinger, A. Radhakrishna, and D. Zufferey. Specification, verification and synthesis for automata problems. Technical report, 2012."},{"key":"e_1_3_2_1_7_1","volume-title":"Flow: The Psychology of Optimal Experience","author":"Csikszentmihalyi M.","year":"1990","unstructured":"M. Csikszentmihalyi . Flow: The Psychology of Optimal Experience . Harper & Row Publishers, Inc. , New York, NY, USA , 1990 . M. Csikszentmihalyi. Flow: The Psychology of Optimal Experience. Harper & Row Publishers, Inc., New York, NY, USA, 1990."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.5555\/1792734.1792766"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/2207676.2208358"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/1814256.1814257"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/1065010.1065036"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/1576246.1531372"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/1518701.1518803"},{"key":"e_1_3_2_1_14_1","volume-title":"Infosys Labs Briefings, 10(2)","author":"Gulwani S.","year":"2012","unstructured":"S. Gulwani . Synthesis from examples. WAMBSE (Workshop on Advances in Model-Based Software Engineering) Special Issue , Infosys Labs Briefings, 10(2) , 2012 . Invited talk paper. S. Gulwani. Synthesis from examples. WAMBSE (Workshop on Advances in Model-Based Software Engineering) Special Issue, Infosys Labs Briefings, 10(2), 2012. Invited talk paper."},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1109\/SYNASC.2012.69"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/1993498.1993505"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/384101.384128"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-30950-2_24"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/1978942.1979229"},{"key":"e_1_3_2_1_20_1","volume-title":"Wired","author":"Liu J.","year":"2012","unstructured":"J. Liu . Dragonbox : Algebra beats angry birds . Wired , June 2012 . J. Liu. Dragonbox: Algebra beats angry birds. Wired, June 2012."},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF00056218"},{"key":"e_1_3_2_1_22_1","unstructured":"Microsoft. Math Worksheet Generator. http:\/\/www.educationlabs.com\/projects\/MathWorksheetGenerator\/Pages\/default.aspx. Microsoft. Math Worksheet Generator. http:\/\/www.educationlabs.com\/projects\/MathWorksheetGenerator\/Pages\/default.aspx."},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"crossref","unstructured":"J. Nielsen. Usability Engineering. Morgan Kaufmann San Francisco CA USA 1993. J. Nielsen. Usability Engineering. Morgan Kaufmann San Francisco CA USA 1993.","DOI":"10.1016\/B978-0-08-052029-2.50009-7"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.4324\/9780203824283"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/234526.234527"},{"key":"e_1_3_2_1_26_1","volume-title":"Designing the User Interface: Strategies for Effective Human-Computer Interaction","author":"Shneiderman B.","year":"1986","unstructured":"B. Shneiderman . Designing the User Interface: Strategies for Effective Human-Computer Interaction . Addison-Wesley Longman Publishing Co., Inc. , Boston, MA, USA , 1986 . B. Shneiderman. Designing the User Interface: Strategies for Effective Human-Computer Interaction. Addison-Wesley Longman Publishing Co., Inc., Boston, MA, USA, 1986."},{"key":"e_1_3_2_1_27_1","volume-title":"AAAI","author":"Singh R.","year":"2012","unstructured":"R. Singh , S. Gulwani , and S. Rajamani . Automatically generating algebra problems . In AAAI , 2012 . R. Singh, S. Gulwani, and S. Rajamani. Automatically generating algebra problems. In AAAI, 2012."},{"key":"e_1_3_2_1_28_1","first-page":"882","volume-title":"Proceedings of the 7th international joint conference on Artificial intelligence -","volume":"2","author":"Sleeman D. H.","year":"1981","unstructured":"D. H. Sleeman . A rule-based task generation system . In Proceedings of the 7th international joint conference on Artificial intelligence - Volume 2 , IJCAI'81, pages 882 -- 887 , San Francisco, CA, USA , 1981 . Morgan Kaufmann Publishers Inc. D. H. Sleeman. A rule-based task generation system. In Proceedings of the 7th international joint conference on Artificial intelligence - Volume 2, IJCAI'81, pages 882--887, San Francisco, CA, USA, 1981. Morgan Kaufmann Publishers Inc."},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/2282338.2282370"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1145\/1536513.1536548"},{"key":"e_1_3_2_1_31_1","first-page":"134","volume-title":"TAP","author":"Tillmann N.","year":"2008","unstructured":"N. Tillmann and J. de Halleux . Pex-white box test generation for .NET . In TAP , pages 134 -- 153 , 2008 . N. Tillmann and J. de Halleux. Pex-white box test generation for .NET. In TAP, pages 134--153, 2008."},{"key":"e_1_3_2_1_32_1","volume-title":"Mind Bugs: The Origins of Procedural Misconceptions","author":"VanLehn K.","year":"1991","unstructured":"K. VanLehn . Mind Bugs: The Origins of Procedural Misconceptions . MIT Press , Cambridge, MA, USA , 1991 . K. VanLehn. Mind Bugs: The Origins of Procedural Misconceptions. MIT Press, Cambridge, MA, USA, 1991."},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.2307\/j.ctvjf9vz4"},{"key":"e_1_3_2_1_34_1","unstructured":"Wikipedia. Code coverage. http:\/\/en.wikipedia.org\/wiki\/Code_coverage. Wikipedia. Code coverage. http:\/\/en.wikipedia.org\/wiki\/Code_coverage."},{"key":"e_1_3_2_1_35_1","unstructured":"Wikipedia. N-gram models. http:\/\/en.wikipedia.org\/wiki\/N-gram. \\\\ Wikipedia. N-gram models. http:\/\/en.wikipedia.org\/wiki\/N-gram. \\\\"}],"event":{"name":"CHI '13: CHI Conference on Human Factors in Computing Systems","location":"Paris France","acronym":"CHI '13","sponsor":["SIGCHI ACM Special Interest Group on Computer-Human Interaction"]},"container-title":["Proceedings of the SIGCHI Conference on Human Factors in Computing Systems"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2470654.2470764","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2470654.2470764","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T08:39:07Z","timestamp":1750235947000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2470654.2470764"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,4,27]]},"references-count":35,"alternative-id":["10.1145\/2470654.2470764","10.1145\/2470654"],"URL":"https:\/\/doi.org\/10.1145\/2470654.2470764","relation":{},"subject":[],"published":{"date-parts":[[2013,4,27]]},"assertion":[{"value":"2013-04-27","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}