{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,28]],"date-time":"2025-09-28T04:20:44Z","timestamp":1759033244463,"version":"3.37.3"},"reference-count":30,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"2","license":[{"start":{"date-parts":[[2018,6,1]],"date-time":"2018-06-01T00:00:00Z","timestamp":1527811200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Trans. Rel."],"published-print":{"date-parts":[[2018,6]]},"DOI":"10.1109\/tr.2018.2799957","type":"journal-article","created":{"date-parts":[[2018,3,2]],"date-time":"2018-03-02T19:18:05Z","timestamp":1520018285000},"page":"557-580","source":"Crossref","is-referenced-by-count":36,"title":["Tapir: Automation Support of Exploratory Testing Using Model Reconstruction of the System Under Test"],"prefix":"10.1109","volume":"67","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-2994-7826","authenticated-orcid":false,"given":"Miroslav","family":"Bures","sequence":"first","affiliation":[]},{"given":"Karel","family":"Frajtak","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0001-9051-7609","authenticated-orcid":false,"given":"Bestoun S.","family":"Ahmed","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1109\/COMPSACW.2014.110"},{"key":"ref10","first-page":"181","author":"tanida","year":"2013","journal-title":"Automated system testing of dynamic web applications"},{"key":"ref11","first-page":"55","author":"dallmeier","year":"2013","journal-title":"WebMate Generating test cases for web 2 0"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1007\/s10515-013-0128-9"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/MS.2014.55"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/I4CT.2015.7219604"},{"key":"ref15","first-page":"248","article-title":"Model-based test case generation for web applications","author":"nabuco","year":"2014","journal-title":"Proc 14th Int Conf Comput Sci Appl"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2015.96"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/ASEW.2015.11"},{"key":"ref18","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/2492248.2492274","article-title":"Uml behavioral model based test case generation: A survey","volume":"38","author":"shirole","year":"2013","journal-title":"SIGSOFT Softw Eng Notes"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/ICICICT.2014.6781352"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1145\/2685612"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/ICSTW.2017.8"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1109\/SEAA.2016.60"},{"key":"ref3","first-page":"5:1","article-title":"How is exploratory\n testing used? A state-of-the-practice survey","author":"pfahl","year":"2014","journal-title":"Proc 8th ACM\/IEEE Int Symp Empir Soft Eng Meas"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1002\/smr.1621"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1145\/3001854.3001865"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/ICSTW.2016.13"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1016\/j.asoc.2011.11.029"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/ICSTW.2016.31"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1145\/2896971.2896979"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1016\/j.jcss.2006.10.006"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/MS.2017.100"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/SEAA.2015.32"},{"key":"ref22","doi-asserted-by":"crossref","first-page":"509","DOI":"10.1145\/2811411.2811556","article-title":"Transformation of IFML schemas to automated tests","author":"frajtak","year":"2015","journal-title":"Proc ACM Conf Res Adapt Convergent Syst"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/COMPSACW.2014.80"},{"key":"ref24","first-page":"35","article-title":"Interface-based semi-automated generation of scenarios for simulation testing of software\n components","author":"potuzak","year":"2014","journal-title":"Proc 6th Int Conf Adv Syst Simul"},{"key":"ref23","first-page":"325","author":"paraskevopoulou","year":"2015","journal-title":"Foundational Property-Based Testing"},{"key":"ref26","first-page":"717","article-title":"TesmMa and CATG: Automated test generation\n tools for models of enterprise applications","author":"tanno","year":"2015","journal-title":"Proc 37th Int Conf Softw Eng"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1109\/COMPSAC.2015.74"}],"container-title":["IEEE Transactions on Reliability"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/24\/8370165\/08306153.pdf?arnumber=8306153","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,1,26]],"date-time":"2022-01-26T07:22:45Z","timestamp":1643181765000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/8306153\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,6]]},"references-count":30,"journal-issue":{"issue":"2"},"URL":"https:\/\/doi.org\/10.1109\/tr.2018.2799957","relation":{},"ISSN":["0018-9529","1558-1721"],"issn-type":[{"type":"print","value":"0018-9529"},{"type":"electronic","value":"1558-1721"}],"subject":[],"published":{"date-parts":[[2018,6]]}}}