{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,25]],"date-time":"2026-01-25T12:33:13Z","timestamp":1769344393378,"version":"3.49.0"},"publisher-location":"New York, NY, USA","reference-count":7,"publisher":"ACM","license":[{"start":{"date-parts":[[2017,7,13]],"date-time":"2017-07-13T00:00:00Z","timestamp":1499904000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"European Union's Horizon 2020","award":["688712"],"award-info":[{"award-number":["688712"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2017,7,13]]},"DOI":"10.1145\/3092282.3092298","type":"proceedings-article","created":{"date-parts":[[2017,7,13]],"date-time":"2017-07-13T13:45:49Z","timestamp":1499953549000},"page":"192-195","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":7,"title":["Guided test case generation for mobile apps in the TRIANGLE project: work in progress"],"prefix":"10.1145","author":[{"given":"Laura","family":"Panizo","sequence":"first","affiliation":[{"name":"University of M\u00e1laga, Spain"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alberto","family":"Salmer\u00f3n","sequence":"additional","affiliation":[{"name":"University of M\u00e1laga, Spain"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mar\u00eda-del-Mar","family":"Gallardo","sequence":"additional","affiliation":[{"name":"University of M\u00e1laga, Spain"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Pedro","family":"Merino","sequence":"additional","affiliation":[{"name":"University of M\u00e1laga, Spain"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2017,7,13]]},"reference":[{"issue":"2","key":"e_1_3_2_1_1_1","first-page":"365","article-title":"A constraint-based framework for test case generation in method-level black-box unit testing","volume":"32","author":"Chang C.","year":"2016","unstructured":"C. Chang and N. Lin . A constraint-based framework for test case generation in method-level black-box unit testing . Journal of Information Science and Engineering , 32 ( 2 ): 365 \u2013 387 , 2016 . C. Chang and N. Lin. A constraint-based framework for test case generation in method-level black-box unit testing. Journal of Information Science and Engineering, 32(2):365\u2013387, 2016.","journal-title":"Journal of Information Science and Engineering"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-23404-5_10"},{"key":"e_1_3_2_1_3_1","first-page":"21","volume-title":"Proc. 10th Workshop on Model Based Testing","volume":"180","author":"Espada A. R.","unstructured":"A. R. Espada , M. M. Gallardo , A. Salmer\u00f3n , and P. Merino . Using model checking to generate test cases for android applications . In Proc. 10th Workshop on Model Based Testing , volume 180 of EPTCS, pages 7\u2013 21 . Open Publishing Association, 2015. A. R. Espada, M. M. Gallardo, A. Salmer\u00f3n, and P. Merino. Using model checking to generate test cases for android applications. In Proc. 10th Workshop on Model Based Testing, volume 180 of EPTCS, pages 7\u201321. Open Publishing Association, 2015."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1155\/2017\/2012696"},{"key":"e_1_3_2_1_5_1","volume-title":"The SPIN Model Checker : Primer and Reference Manual","author":"Holzmann G.","year":"2003","unstructured":"G. Holzmann . The SPIN Model Checker : Primer and Reference Manual . Addison-Wesley Professional , Sept. 2003 . G. Holzmann. The SPIN Model Checker : Primer and Reference Manual. Addison-Wesley Professional, Sept. 2003."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1007\/11408901_21"},{"key":"e_1_3_2_1_7_1","unstructured":"Abstract 1 Introduction 2 The TRIANGLE project 3 Guiding the generation of app user flows 4 Conclusions References  Abstract 1 Introduction 2 The TRIANGLE project 3 Guiding the generation of app user flows 4 Conclusions References"}],"event":{"name":"ISSTA '17: International Symposium on Software Testing and Analysis","location":"Santa Barbara CA USA","acronym":"ISSTA '17","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering"]},"container-title":["Proceedings of the 24th ACM SIGSOFT International SPIN Symposium on Model Checking of Software"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3092282.3092298","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3092282.3092298","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T03:03:08Z","timestamp":1750215788000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3092282.3092298"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,7,13]]},"references-count":7,"alternative-id":["10.1145\/3092282.3092298","10.1145\/3092282"],"URL":"https:\/\/doi.org\/10.1145\/3092282.3092298","relation":{},"subject":[],"published":{"date-parts":[[2017,7,13]]},"assertion":[{"value":"2017-07-13","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}