{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,18]],"date-time":"2026-05-18T16:27:07Z","timestamp":1779121627402,"version":"3.51.4"},"reference-count":29,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017,10]]},"DOI":"10.1109\/vlhcc.2017.8103457","type":"proceedings-article","created":{"date-parts":[[2017,11,14]],"date-time":"2017-11-14T08:54:32Z","timestamp":1510649672000},"page":"107-115","source":"Crossref","is-referenced-by-count":25,"title":["TraceDiff: Debugging unexpected code behavior using trace divergences"],"prefix":"10.1109","author":[{"given":"Ryo","family":"Suzuki","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gustavo","family":"Soares","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Andrew","family":"Head","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Elena","family":"Glassman","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ruan","family":"Reis","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Melina","family":"Mongiovi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Loris","family":"D'Antoni","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bjorn","family":"Hartmann","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.3102\/0034654307313795"},{"key":"ref11","first-page":"227","article-title":"The behavior of tutoring systems","volume":"16","author":"vanlehn","year":"2006","journal-title":"International Journal of artificial Intelligence in Education"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1145\/3027063.3053187"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1145\/2445196.2445368"},{"key":"ref14","first-page":"147","article-title":"The Andes physics tutoring system: Lessons learned","volume":"15","author":"vanlehn","year":"2005","journal-title":"International Journal of artificial Intelligence in Education"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.2190\/3LFX-9RRF-67T8-UVK9"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1145\/1047124.1047425"},{"key":"ref17","author":"sorva","year":"2012","journal-title":"Visual Program Simulation in Introductory Programming Education"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1006\/jvlc.2002.0237"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1145\/2490822"},{"key":"ref28","first-page":"2015","article-title":"Up and down the ladder of abstraction","volume":"2","year":"2011","journal-title":"Retrieved September"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1145\/2699751"},{"key":"ref27","article-title":"Learnable programming","author":"victor","year":"0","journal-title":"Worrydream com 2012"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1145\/2723163"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1145\/2950290.2950363"},{"key":"ref29","year":"0","journal-title":"pdb-the python debugger"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1145\/3051457.3051467"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2017.44"},{"key":"ref7","first-page":"1","article-title":"Data-driven hint generation in vast solution spaces: a self-improving Python programming tutor","author":"rivers","year":"2015","journal-title":"International Journal of artificial Intelligence in Education"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1145\/2807442.2807469"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1145\/2491956.2462195"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1145\/365024.365111"},{"key":"ref20","first-page":"2","article-title":"A survey of program visualizations for the functional paradigm","author":"urquiza-fuentes","year":"2004","journal-title":"Proceedings of Program Visualization Workshop"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1145\/2556288.2557409"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1145\/1368088.1368130"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1145\/2807442.2807473"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1145\/2501988.2502050"},{"key":"ref26","first-page":"199","article-title":"Six learning barriers in end-user programming systems","author":"ko","year":"2004","journal-title":"Proceedings of VL\/HCC"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1109\/VLHCC.2009.5295287"}],"event":{"name":"2017 IEEE Symposium on Visual Languages and Human-Centric Computing (VL\/HCC)","location":"Raleigh, NC","start":{"date-parts":[[2017,10,11]]},"end":{"date-parts":[[2017,10,14]]}},"container-title":["2017 IEEE Symposium on Visual Languages and Human-Centric Computing (VL\/HCC)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8094484\/8103434\/08103457.pdf?arnumber=8103457","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,12,18]],"date-time":"2017-12-18T16:51:19Z","timestamp":1513615879000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/8103457\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,10]]},"references-count":29,"URL":"https:\/\/doi.org\/10.1109\/vlhcc.2017.8103457","relation":{},"subject":[],"published":{"date-parts":[[2017,10]]}}}