{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,21]],"date-time":"2025-01-21T07:40:14Z","timestamp":1737445214612,"version":"3.33.0"},"reference-count":19,"publisher":"IEEE","license":[{"start":{"date-parts":[[2024,12,15]],"date-time":"2024-12-15T00:00:00Z","timestamp":1734220800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2024,12,15]],"date-time":"2024-12-15T00:00:00Z","timestamp":1734220800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2024,12,15]]},"DOI":"10.1109\/wsc63780.2024.10838817","type":"proceedings-article","created":{"date-parts":[[2025,1,20]],"date-time":"2025-01-20T18:40:24Z","timestamp":1737398424000},"page":"1260-1270","source":"Crossref","is-referenced-by-count":0,"title":["Testing Methodology for Devs Models in Cadmium"],"prefix":"10.1109","author":[{"given":"Curtis","family":"Winstanley","sequence":"first","affiliation":[{"name":"Carleton University,Dept. of Systems and Computer Eng.,Ottawa,ON,CANADA"}]},{"given":"Gabriel","family":"Wainer","sequence":"additional","affiliation":[{"name":"Carleton University,Dept. of Systems and Computer Eng.,Ottawa,ON,CANADA"}]}],"member":"263","reference":[{"key":"ref1","article-title":"Enhancing Large Language Models for Text-to-Testcase Generation","author":"Alagarsamy","year":"2024","journal-title":"arXiv preprint"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/AEEICB.2017.7972390"},{"issue":"12","key":"ref3","first-page":"1329","article-title":"Artificial Intelligence in Software Test Automation: A Systematic Literature Review","volume":"6","author":"Battina","year":"2019","journal-title":"International Journal of Emerging Technologies and Innovative Research, ISSN"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2005.1553603"},{"volume-title":"Cadmium 2: An Object-Oriented C++ M&S Platform for the PDEVS Formalism","year":"2024","author":"Cardenas","key":"ref5"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1007\/978-81-322-3972-7"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/wsc57314.2022.10015393"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.3390\/app10103397"},{"key":"ref9","article-title":"Clam: Selective Clarification for Ambiguous Questions with Generative Language Models","author":"Kuhn","year":"2022","journal-title":"arXiv preprint"},{"key":"ref10","first-page":"295","article-title":"Towards the Verification and Validation of DEVS Models","volume-title":"Proceedings of 1st Open International Conference on Modeling & Simulation","author":"Labiche","year":"2005"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2009.05.001"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/wsc48552.2020.9384024"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1016\/j.infsof.2005.09.003"},{"volume-title":"GPT 4 and GPT 4 Turbo","year":"2024a","key":"ref14"},{"volume-title":"API Reference","year":"2024b","key":"ref15"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1007\/s10664-018-9663-0"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1016\/j.simpat.2005.03.002"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1177\/00375497231205035"},{"volume-title":"Theory of Modeling and Simulation","year":"2000","author":"Zeigler","key":"ref19"}],"event":{"name":"2024 Winter Simulation Conference (WSC)","start":{"date-parts":[[2024,12,15]]},"location":"Orlando, FL, USA","end":{"date-parts":[[2024,12,18]]}},"container-title":["2024 Winter Simulation Conference (WSC)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx8\/10838618\/10838619\/10838817.pdf?arnumber=10838817","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,21]],"date-time":"2025-01-21T07:05:30Z","timestamp":1737443130000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/10838817\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,12,15]]},"references-count":19,"URL":"https:\/\/doi.org\/10.1109\/wsc63780.2024.10838817","relation":{},"subject":[],"published":{"date-parts":[[2024,12,15]]}}}