{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,3]],"date-time":"2026-03-03T10:16:03Z","timestamp":1772532963835,"version":"3.50.1"},"reference-count":26,"publisher":"IEEE","license":[{"start":{"date-parts":[[2024,2,19]],"date-time":"2024-02-19T00:00:00Z","timestamp":1708300800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2024,2,19]],"date-time":"2024-02-19T00:00:00Z","timestamp":1708300800000},"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,2,19]]},"DOI":"10.1109\/icacs60934.2024.10473284","type":"proceedings-article","created":{"date-parts":[[2024,3,21]],"date-time":"2024-03-21T18:11:22Z","timestamp":1711044682000},"page":"1-9","source":"Crossref","is-referenced-by-count":2,"title":["A Case Study: To Discuss the Construction of the Finite State Machine and Markov-Chain OP Models for Test Case Generation"],"prefix":"10.1109","author":[{"given":"Saima","family":"Shaheen","sequence":"first","affiliation":[{"name":"HITEC University,Department of Computer Science,Taxila,Pakistan"}]},{"given":"Hasna","family":"Arshad","sequence":"additional","affiliation":[{"name":"HITEC University,Department of Computer Science,Taxila,Pakistan"}]},{"given":"Momeena","family":"Mir","sequence":"additional","affiliation":[{"name":"HITEC University,Department of Computer Science,Taxila,Pakistan"}]},{"given":"Muhammad Tufail","family":"Hashmi","sequence":"additional","affiliation":[{"name":"HITEC University,Department of Computer Science,Taxila,Pakistan"}]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1002\/0471722324"},{"key":"ref2","article-title":"Anewapproachtodigitalcontentprivacyusingquantumspinandfinite-statemachines","volume":"27","author":"Waseem","year":"2019","journal-title":"AppliedPhysicsB125.2"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/tse.1978.231496"},{"key":"ref4","volume-title":"Is a markov chain the same as a finite state machine? \u2014 baeldung on computer science","year":"2023"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1016\/j.infsof.2017.11.006"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.15398\/jlm.v8i1.245"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1093\/oxfordhb\/9780199573691.013.39"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.11591\/ijece.v7i4.pp2132-2141"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2001.919078"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-28218-1_7"},{"key":"ref11","first-page":"20","article-title":"Two decades of webapplicationtesting\u2014asurveyofrecentadvances","volume":"43","author":"Li","year":"2014","journal-title":"InformationSystems"},{"issue":"12","key":"ref12","first-page":"6931","article-title":"Testing web-based applications using finite state machines employing genetic algorithm","volume":"2","author":"K. S","year":"2010","journal-title":"International Journal of Engineering Science and Technology"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/ISVLSI54635.2022.00027"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/ICSTW55395.2022.00044"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.32604\/iasc.2022.023423"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1016\/j.infsof.2020.106498"},{"key":"ref17","article-title":"Complete requirements-based testing with finite state machines","volume":"11786","author":"Huang","year":"2021","journal-title":"arXiv preprint arXiv:2105"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1016\/j.infsof.2022.106902"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1145\/3232520"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1145\/3209914.3209936"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-61388-8_5"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2023.3234186"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2021.3077518"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1109\/isssr53171.2021.00017"},{"key":"ref25","volume-title":"What is Daraz app? Complete details about Daraz (eknowledge.pk)","year":"2023"},{"key":"ref26","volume-title":"Finite state machine (fsm): Types, properties, design and applications (elprocus.com)","year":"2023"}],"event":{"name":"2024 5th International Conference on Advancements in Computational Sciences (ICACS)","location":"Lahore, Pakistan","start":{"date-parts":[[2024,2,19]]},"end":{"date-parts":[[2024,2,20]]}},"container-title":["2024 5th International Conference on Advancements in Computational Sciences (ICACS)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/10473181\/10473230\/10473284.pdf?arnumber=10473284","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,3,26]],"date-time":"2024-03-26T21:15:27Z","timestamp":1711487727000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/10473284\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,2,19]]},"references-count":26,"URL":"https:\/\/doi.org\/10.1109\/icacs60934.2024.10473284","relation":{},"subject":[],"published":{"date-parts":[[2024,2,19]]}}}