{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:28:24Z","timestamp":1750220904969,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":21,"publisher":"ACM","license":[{"start":{"date-parts":[[2019,9,23]],"date-time":"2019-09-23T00:00:00Z","timestamp":1569196800000},"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":[[2019,9,23]]},"DOI":"10.1145\/3356317.3356319","type":"proceedings-article","created":{"date-parts":[[2019,9,16]],"date-time":"2019-09-16T12:14:07Z","timestamp":1568636047000},"page":"72-79","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":2,"title":["Singularity"],"prefix":"10.1145","author":[{"given":"Eduardo Rohde","family":"Eras","sequence":"first","affiliation":[{"name":"Instituto Nacional de Pesquisas Espaciais, S\u00e3o Jos\u00e9 dos Campos, S\u00e3o Paulo, Brazil"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"suffix":"J\u00fanior","given":"Valdivino Alexandre","family":"de Santiago","sequence":"additional","affiliation":[{"name":"Instituto Nacional de Pesquisas Espaciais, S\u00e3o Jos\u00e9 dos Campos, S\u00e3o Paulo, Brazil"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Luciana Brasil Rebelo","family":"dos Santos","sequence":"additional","affiliation":[{"name":"Instituto Federal de Educa\u00e7\u00e3o, Ci\u00eancia e Tecnologia de S\u00e3o Paulo Jacare\u00ed, S\u00e3o Paulo, Brazil"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2019,9,23]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"Proceedings - 2nd International Conference on Formal Engineering Methods, ICFEM 1998 1998-Decem","author":"Ammann P. E.","year":"1998","unstructured":"P. E. Ammann , P. E. Black , and W. Majurski . 1998. Using model checking to generate tests from specifications . Proceedings - 2nd International Conference on Formal Engineering Methods, ICFEM 1998 1998-Decem ( 1998 ), 46--54. P. E. Ammann, P. E. Black, and W. Majurski. 1998. Using model checking to generate tests from specifications. Proceedings - 2nd International Conference on Formal Engineering Methods, ICFEM 1998 1998-Decem (1998), 46--54."},{"volume-title":"Principles of Model Checking","author":"Baier C.","key":"e_1_3_2_1_2_1","unstructured":"C. Baier and Joost-Pieter Katoen . 2008. Principles of Model Checking . MIT Press . 984 pages. C. Baier and Joost-Pieter Katoen. 2008. Principles of Model Checking. MIT Press. 984 pages."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"crossref","unstructured":"Juliana Marino Balera and Valdivino Alexandre de Santiago J\u00fanior. 2015. T-tuple reallocation: An algorithm to create mixed-level covering arrays to support software test case generation. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 9158 (2015) 503--517.  Juliana Marino Balera and Valdivino Alexandre de Santiago J\u00fanior. 2015. T-tuple reallocation: An algorithm to create mixed-level covering arrays to support software test case generation. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 9158 (2015) 503--517.","DOI":"10.1007\/978-3-319-21410-8_39"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.5555\/998675.999437"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.5555\/872754.873589"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"crossref","unstructured":"Valdivino Alexandre De Santiago J\u00fanior and Felipe Elias. 2017. From Statecharts into Model Checking: A Hierarchy-based Translation and Specification Patterns Properties to Generate Test Cases. (2017).  Valdivino Alexandre De Santiago J\u00fanior and Felipe Elias. 2017. From Statecharts into Model Checking: A Hierarchy-based Translation and Specification Patterns Properties to Generate Test Cases. (2017).","DOI":"10.1145\/3128473.3128475"},{"volume-title":"Introdu\u00e7\u00e3o ao teste de software","author":"Delamaro Marcio","key":"e_1_3_2_1_7_1","unstructured":"Marcio Delamaro , Mario Jino , and Jose Maldonado . 2017. Introdu\u00e7\u00e3o ao teste de software . Elsevier Brasil . Marcio Delamaro, Mario Jino, and Jose Maldonado. 2017. Introdu\u00e7\u00e3o ao teste de software. Elsevier Brasil."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/302405.302672"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSEA.2007.71"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2009.05.016"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.5555\/1600258.1600261"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1016\/0167-6423(87)90035-9"},{"key":"e_1_3_2_1_13_1","unstructured":"INPE. 24 de Abril 2019. TerraLib and TerraView Wiki Page. http:\/\/www.dpi.inpe.br\/terralib5\/wiki\/doku.php?id=start  INPE. 24 de Abril 2019. TerraLib and TerraView Wiki Page. http:\/\/www.dpi.inpe.br\/terralib5\/wiki\/doku.php?id=start"},{"key":"e_1_3_2_1_14_1","unstructured":"INPE. 25 de Mar\u00e7o 2019. GeoDMA - Geographic Data Mining Analyst. http:\/\/wiki.dpi.inpe.br\/doku.php?id=geodma  INPE. 25 de Mar\u00e7o 2019. GeoDMA - Geographic Data Mining Analyst. http:\/\/wiki.dpi.inpe.br\/doku.php?id=geodma"},{"volume-title":"Software testing: a craftsman's approach","author":"Jorgensen Paul C","key":"e_1_3_2_1_15_1","unstructured":"Paul C Jorgensen . 2013. Software testing: a craftsman's approach . Auerbach Publications . Paul C Jorgensen. 2013. Software testing: a craftsman's approach. Auerbach Publications."},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-04761-9_9"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.cageo.2013.02.007"},{"volume-title":"Engenharia de Software-8a Edi\u00e7\u00e3o","author":"Pressman Roger","key":"e_1_3_2_1_18_1","unstructured":"Roger Pressman and Bruce Maxim . 2016. Engenharia de Software-8a Edi\u00e7\u00e3o . McGraw Hill Brasil . Roger Pressman and Bruce Maxim. 2016. Engenharia de Software-8a Edi\u00e7\u00e3o. McGraw Hill Brasil."},{"key":"e_1_3_2_1_19_1","unstructured":"S. Rayadurgam and M.P.E. Heimdahl. 2002. Coverage based test-case generation using model checkers. (2002) 83--91.  S. Rayadurgam and M.P.E. Heimdahl. 2002. Coverage based test-case generation using model checkers. (2002) 83--91."},{"key":"e_1_3_2_1_20_1","volume-title":"TIOBE Index for","author":"TIOBE.","year":"2019","unstructured":"TIOBE. 2019. TIOBE Index for April 2019 . https:\/\/www.tiobe.com\/tiobe-index\/ TIOBE. 2019. TIOBE Index for April 2019. https:\/\/www.tiobe.com\/tiobe-index\/"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1109\/MS.2017.3571576"}],"event":{"name":"SAST 2019: IV Brazilian Symposium on Systematic and Automated Software Testing","sponsor":["SBC Sociedade Brasileira de Computa\u00e7\u00e3o"],"location":"Salvador Brazil","acronym":"SAST 2019"},"container-title":["Proceedings of the IV Brazilian Symposium on Systematic and Automated Software Testing"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3356317.3356319","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3356317.3356319","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T23:44:51Z","timestamp":1750203891000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3356317.3356319"}},"subtitle":["A methodology for automatic unit test data generation for C++ applications based on Model Checking counterexamples"],"short-title":[],"issued":{"date-parts":[[2019,9,23]]},"references-count":21,"alternative-id":["10.1145\/3356317.3356319","10.1145\/3356317"],"URL":"https:\/\/doi.org\/10.1145\/3356317.3356319","relation":{},"subject":[],"published":{"date-parts":[[2019,9,23]]},"assertion":[{"value":"2019-09-23","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}