{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,30]],"date-time":"2024-10-30T19:26:41Z","timestamp":1730316401101,"version":"3.28.0"},"publisher-location":"New York, NY, USA","reference-count":14,"publisher":"ACM","content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2012,7,3]]},"DOI":"10.1145\/2325296.2325343","type":"proceedings-article","created":{"date-parts":[[2012,7,10]],"date-time":"2012-07-10T16:41:12Z","timestamp":1341938472000},"page":"186-191","update-policy":"http:\/\/dx.doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":3,"title":["SpecCheck"],"prefix":"10.1145","author":[{"given":"Chris","family":"Johnson","sequence":"first","affiliation":[{"name":"University of Wisconsin, Eau Claire, Eau Claire, WI, USA"}]}],"member":"320","published-online":{"date-parts":[[2012,7,3]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/216511.216539"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/1539024.1508921"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/1163405.1163409"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/949344.949431"},{"key":"e_1_3_2_1_5_1","volume-title":"Concrete Feedback on Performance. International Conference on Education and Information Systems: Technologies and Applications (EISTA'03)","author":"Edwards S.H.","year":"2003","unstructured":"S.H. Edwards . Using Test-Driven Development in the Classroom: Providing Students with Automatic , Concrete Feedback on Performance. International Conference on Education and Information Systems: Technologies and Applications (EISTA'03) , 2003 . S.H. Edwards. Using Test-Driven Development in the Classroom: Providing Students with Automatic, Concrete Feedback on Performance. International Conference on Education and Information Systems: Technologies and Applications (EISTA'03), 2003."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/1269900.1268805"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/367415.367422"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/353519.343160"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/1151588.1151604"},{"key":"e_1_3_2_1_10_1","first-page":"221","volume-title":"Proceedings of the fifth Australasian conference on Computing education -","volume":"20","author":"Lister Raymond","year":"2003","unstructured":"Raymond Lister and John Leaney . First year programming: let all the flowers bloom . In Proceedings of the fifth Australasian conference on Computing education - Volume 20 , ACE '03, pages 221 -- 230 , Darlinghurst, Australia, Australia , 2003 . Australian Computer Society, Inc. Raymond Lister and John Leaney. First year programming: let all the flowers bloom. In Proceedings of the fifth Australasian conference on Computing education - Volume 20, ACE '03, pages 221--230, Darlinghurst, Australia, Australia, 2003. Australian Computer Society, Inc."},{"key":"e_1_3_2_1_11_1","volume-title":"Proceedings of the 2010 Workshop on Scheme and Functional Programming (Scheme 2009","author":"Marceau Guillaume","year":"2010","unstructured":"Guillaume Marceau , Kathi Fisler , and Shriram Krishnamurthi . Measuring the effectiveness of error messages designed for novice programmers . In Proceedings of the 2010 Workshop on Scheme and Functional Programming (Scheme 2009 ), Montreal, Quebec, Canada , 2010 . Guillaume Marceau, Kathi Fisler, and Shriram Krishnamurthi. Measuring the effectiveness of error messages designed for novice programmers. In Proceedings of the 2010 Workshop on Scheme and Functional Programming (Scheme 2009), Montreal, Quebec, Canada, 2010."},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"crossref","unstructured":"Michael McCracken Vicki Almstrum Danny Diaz Mark Guzdial Dianne Hagan Yifat Ben-David Kolikant Cary Laxer Lynda Thomas Ian Utting and Tadeusz Wilusz. A multi-national multi-institutional study of assessment of programming skills of first-year cs students. In Working group reports from ITiCSE on Innovation and technology in computer science education ITiCSE-WGR '01 pages 125--180 New York NY USA 2001. ACM. 10.1145\/572133.572137 Michael McCracken Vicki Almstrum Danny Diaz Mark Guzdial Dianne Hagan Yifat Ben-David Kolikant Cary Laxer Lynda Thomas Ian Utting and Tadeusz Wilusz. A multi-national multi-institutional study of assessment of programming skills of first-year cs students. In Working group reports from ITiCSE on Innovation and technology in computer science education ITiCSE-WGR '01 pages 125--180 New York NY USA 2001. ACM. 10.1145\/572133.572137","DOI":"10.1145\/572133.572137"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/65294.71198"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/1176617.1176738"}],"event":{"name":"ITiCSE '12: Annual Conference on Innovation and Technology in Computer Science Education","sponsor":["Bilkent University Bilkent University","SIGCSE ACM Special Interest Group on Computer Science Education"],"location":"Haifa Israel","acronym":"ITiCSE '12"},"container-title":["Proceedings of the 17th ACM annual conference on Innovation and technology in computer science education"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2325296.2325343","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,1,6]],"date-time":"2023-01-06T05:44:20Z","timestamp":1672983860000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2325296.2325343"}},"subtitle":["automated generation of tests for interface conformance"],"short-title":[],"issued":{"date-parts":[[2012,7,3]]},"references-count":14,"alternative-id":["10.1145\/2325296.2325343","10.1145\/2325296"],"URL":"https:\/\/doi.org\/10.1145\/2325296.2325343","relation":{},"subject":[],"published":{"date-parts":[[2012,7,3]]},"assertion":[{"value":"2012-07-03","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}