{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:34:58Z","timestamp":1750221298563,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":21,"publisher":"ACM","license":[{"start":{"date-parts":[[2018,9,17]],"date-time":"2018-09-17T00:00:00Z","timestamp":1537142400000},"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":[[2018,9,17]]},"DOI":"10.1145\/3266003.3266012","type":"proceedings-article","created":{"date-parts":[[2018,9,13]],"date-time":"2018-09-13T12:54:52Z","timestamp":1536843292000},"page":"57-66","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Evaluating the Impact of Different Testers on Model-based Testing"],"prefix":"10.1145","author":[{"given":"Henrique Neves","family":"da Silva","sequence":"first","affiliation":[{"name":"Universidade Tecnologica Federal do Parana (UTFPR), Cornelio Procopio, PR, Brazil"}]},{"given":"Guilherme Ricken","family":"Mattiello","sequence":"additional","affiliation":[{"name":"Universidade Tecnologica Federal do Parana (UTFPR), Cornelio Procopio, PR, Brazil"}]},{"given":"Andre Takeshi","family":"Endo","sequence":"additional","affiliation":[{"name":"Universidade Tecnologica Federal do Parana (UTFPR), Cornelio Procopio, PR, Brazil"}]},{"given":"\u00c9rica Ferreira","family":"de Souza","sequence":"additional","affiliation":[{"name":"Universidade Tecnologica Federal do Parana (UTFPR), Cornelio Procopio, PR, Brazil"}]},{"given":"Simone do Rocio Senger","family":"de Souza","sequence":"additional","affiliation":[{"name":"Universidade de S\u00e3o Paulo (ICMC), S\u00e3o Carlos, SP, Brazil"}]}],"member":"320","published-online":{"date-parts":[[2018,9,17]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1109\/MS.2014.55"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2013.02.061"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.5555\/1122702.1122704"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2015.89"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"crossref","unstructured":"A. T. Endo and A. Simao. 2017. Event tree algorithms to generate test sequences for composite Web services. Software Testing Verification and Reliability (2017).  A. T. Endo and A. Simao. 2017. Event tree algorithms to generate test sequences for composite Web services. Software Testing Verification and Reliability (2017).","DOI":"10.1002\/stvr.1637"},{"volume-title":"2015 IEEE Eighth International Conference on Software Testing, Verification and Validation Workshops (ICSTW). 1--7.","author":"Entin V.","key":"e_1_3_2_1_6_1"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/3131151.3131160"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1109\/MS.2017.34"},{"volume-title":"Proceedings First Workshop on Pre- and Post-Deployment Verification Techniques. 16--30","author":"Gudmundsson V.","key":"e_1_3_2_1_9_1"},{"key":"e_1_3_2_1_10_1","unstructured":"Muhammad Zohaib Iqbal Salman Sherin and others. 2017. Empirical studies omit reporting necessary details: A systematic literature review of reporting quality in model based testing. Computer Standards & Interfaces (2017).  Muhammad Zohaib Iqbal Salman Sherin and others. 2017. Empirical studies omit reporting necessary details: A systematic literature review of reporting quality in model based testing. Computer Standards & Interfaces (2017)."},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1002\/stvr.460"},{"key":"e_1_3_2_1_12_1","unstructured":"A. Kramer B. Legeard and R. V. Binder. 2017. 2016\/2017 Model-based Testing User Survey: Results. (2017). http:\/\/www.cftl.fr\/wp-content\/uploads\/2017\/02\/2016-MBT-User-Survey-Results.pdf  A. Kramer B. Legeard and R. V. Binder. 2017. 2016\/2017 Model-based Testing User Survey: Results. (2017). http:\/\/www.cftl.fr\/wp-content\/uploads\/2017\/02\/2016-MBT-User-Survey-Results.pdf"},{"volume-title":"Dagstuhl Seminar Proceedings. Schloss Dagstuhl-Leibniz-Zentrum f\u00fcr Informatik.","year":"2010","author":"Legeard Bruno","key":"e_1_3_2_1_13_1"},{"key":"e_1_3_2_1_14_1","unstructured":"Zolt\u00e1n Micskei. 2014. Model-based testing (MBT). Department of Measurement and Information Systems Budapest University of Technology and Economics http:\/\/mit.bme.hu\/~micskeiz\/pages\/modelbased_testing.html\" Accessed (2014) 12--08.  Zolt\u00e1n Micskei. 2014. Model-based testing (MBT). Department of Measurement and Information Systems Budapest University of Technology and Economics http:\/\/mit.bme.hu\/~micskeiz\/pages\/modelbased_testing.html\" Accessed (2014) 12--08."},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/2593882.2593885"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/2591062.2591180"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/2896921.2896926"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICST.2011.11"},{"key":"e_1_3_2_1_19_1","unstructured":"Mark Utting Alexander Pretschner and Bruno Legeard. 2006. A taxonomy of model-based testing. (2006).  Mark Utting Alexander Pretschner and Bruno Legeard. 2006. A taxonomy of model-based testing. (2006)."},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"crossref","unstructured":"C Wohlin P Runeson M Host MC Ohlsson B Regnell and A Wesslen. 2000. Experimentation in software engineering: an introduction. 2000. (2000).   C Wohlin P Runeson M Host MC Ohlsson B Regnell and A Wesslen. 2000. Experimentation in software engineering: an introduction. 2000. (2000).","DOI":"10.1007\/978-1-4615-4625-2"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-37057-1_19"}],"event":{"name":"SAST '18: III Brazilian Symposium on Systematic and Automated Software Testing","sponsor":["SBC Brazilian Computer Society","UFSCar Federal University of S\u00e3o Carlos","IFSP Federal Institute of S\u00e3o Paulo"],"location":"SAO CARLOS Brazil","acronym":"SAST '18"},"container-title":["Proceedings of the III Brazilian Symposium on Systematic and Automated Software Testing"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3266003.3266012","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3266003.3266012","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T02:13:15Z","timestamp":1750212795000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3266003.3266012"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,9,17]]},"references-count":21,"alternative-id":["10.1145\/3266003.3266012","10.1145\/3266003"],"URL":"https:\/\/doi.org\/10.1145\/3266003.3266012","relation":{},"subject":[],"published":{"date-parts":[[2018,9,17]]},"assertion":[{"value":"2018-09-17","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}