{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:13:48Z","timestamp":1750220028293,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":8,"publisher":"ACM","license":[{"start":{"date-parts":[[2022,11,21]],"date-time":"2022-11-21T00:00:00Z","timestamp":1668988800000},"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":[[2022,11,21]]},"DOI":"10.1145\/3569173.3569175","type":"proceedings-article","created":{"date-parts":[[2023,5,31]],"date-time":"2023-05-31T23:00:38Z","timestamp":1685574038000},"page":"13-23","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Towards a Tool to Support Students through Procedural Programming Guidance"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-9874-6585","authenticated-orcid":false,"given":"Sander","family":"Albers","sequence":"first","affiliation":[{"name":"NHL Stenden University of Applied Sciences, Netherlands"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-6906-4449","authenticated-orcid":false,"given":"Nando","family":"Reij","sequence":"additional","affiliation":[{"name":"NHL Stenden University of Applied Sciences, Netherlands"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-7392-8788","authenticated-orcid":false,"given":"Wouter","family":"Brinksma","sequence":"additional","affiliation":[{"name":"NHL Stenden University of Applied Sciences, Netherlands"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-0916-2447","authenticated-orcid":false,"given":"Lex","family":"Bijlsma","sequence":"additional","affiliation":[{"name":"Open Universiteit, Netherlands"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-1992-250X","authenticated-orcid":false,"given":"Harrie","family":"Passier","sequence":"additional","affiliation":[{"name":"Open Universiteit, Netherlands"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2023,5,31]]},"reference":[{"volume-title":"Proceedings of the 7th Computer Science Education Research Conference (Saint Petersburg, Russian Federation) (CSERC \u201918)","author":"Bijlsma A.","key":"e_1_3_2_1_1_1","unstructured":"A. Bijlsma , H.\u00a0J.\u00a0 M. Passier , H.\u00a0 J. Pootjes , and S. Stuurman . 2018. Integrated Test Development: An Integrated and Incremental Approach to Write Software of High Quality . In Proceedings of the 7th Computer Science Education Research Conference (Saint Petersburg, Russian Federation) (CSERC \u201918) . ACM, USA, 9\u201320. https:\/\/doi.org\/10.1145\/3289406.3289408 10.1145\/3289406.3289408 A. Bijlsma, H.\u00a0J.\u00a0M. Passier, H.\u00a0J. Pootjes, and S. Stuurman. 2018. Integrated Test Development: An Integrated and Incremental Approach to Write Software of High Quality. In Proceedings of the 7th Computer Science Education Research Conference (Saint Petersburg, Russian Federation) (CSERC \u201918). ACM, USA, 9\u201320. https:\/\/doi.org\/10.1145\/3289406.3289408"},{"volume-title":"Proceedings of the 2nd International Conference on Software Engineering","author":"Boehm W.","key":"e_1_3_2_1_2_1","unstructured":"B.\u00a0 W. Boehm , J.\u00a0 R. Brown , and M. Lipow . 1976. Quantitative Evaluation of Software Quality . In Proceedings of the 2nd International Conference on Software Engineering ( San Francisco, California, USA) (ICSE \u201976). IEEE, USA, 592\u2013605. B.\u00a0W. Boehm, J.\u00a0R. Brown, and M. Lipow. 1976. Quantitative Evaluation of Software Quality. In Proceedings of the 2nd International Conference on Software Engineering (San Francisco, California, USA) (ICSE \u201976). IEEE, USA, 592\u2013605."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/3173574.3174220"},{"key":"e_1_3_2_1_4_1","volume-title":"Mutation Analysis for Software Contracts. In 2021 IEEE\/ACM 9th International Conference on Formal Methods in Software Engineering (FormaliSE)","author":"Knuppel A.","year":"2021","unstructured":"A. Knuppel , L. Schaer , and I. Schaefer . 2021. How much Specification is Enough? Mutation Analysis for Software Contracts. In 2021 IEEE\/ACM 9th International Conference on Formal Methods in Software Engineering (FormaliSE) ( Madrid, Spain). IEEE, USA, 42\u201353. https:\/\/doi.org\/10.1109\/FormaliSE52586. 2021 .00011 10.1109\/FormaliSE52586.2021.00011 A. Knuppel, L. Schaer, and I. Schaefer. 2021. How much Specification is Enough? Mutation Analysis for Software Contracts. In 2021 IEEE\/ACM 9th International Conference on Formal Methods in Software Engineering (FormaliSE) (Madrid, Spain). IEEE, USA, 42\u201353. https:\/\/doi.org\/10.1109\/FormaliSE52586.2021.00011"},{"key":"e_1_3_2_1_5_1","unstructured":"Gary\u00a0T Leavens and Yoonsik Cheon. 2006. Design by Contract with JML. http:\/\/www.jmlspecs.org\/jmldbc.pdf  Gary\u00a0T Leavens and Yoonsik Cheon. 2006. Design by Contract with JML. http:\/\/www.jmlspecs.org\/jmldbc.pdf"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1109\/ECBS.2006.67"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1109\/2.161279"},{"volume-title":"Advances in Object-Oriented Software Engineering","author":"Meyer Bertrand","key":"e_1_3_2_1_8_1","unstructured":"Bertrand Meyer . 1992. Design by Contract . In Advances in Object-Oriented Software Engineering , Dino Mandrioli and Bertrand Meyer (Eds.). Prentice-Hall, Inc. , USA , Chapter\u00a01, 1\u201350. Bertrand Meyer. 1992. Design by Contract. In Advances in Object-Oriented Software Engineering, Dino Mandrioli and Bertrand Meyer (Eds.). Prentice-Hall, Inc., USA, Chapter\u00a01, 1\u201350."}],"event":{"name":"CSERC '22: The 11th Computer Science Education Research Conference","acronym":"CSERC '22","location":"Leiden Netherlands"},"container-title":["Proceedings of the 11th Computer Science Education Research Conference"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3569173.3569175","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3569173.3569175","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T17:51:41Z","timestamp":1750182701000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3569173.3569175"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,11,21]]},"references-count":8,"alternative-id":["10.1145\/3569173.3569175","10.1145\/3569173"],"URL":"https:\/\/doi.org\/10.1145\/3569173.3569175","relation":{},"subject":[],"published":{"date-parts":[[2022,11,21]]},"assertion":[{"value":"2023-05-31","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}