{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T00:51:26Z","timestamp":1740099086679,"version":"3.37.3"},"publisher-location":"Cham","reference-count":5,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319941103"},{"type":"electronic","value":"9783319941110"}],"license":[{"start":{"date-parts":[[2018,1,1]],"date-time":"2018-01-01T00:00:00Z","timestamp":1514764800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018]]},"DOI":"10.1007\/978-3-319-94111-0_11","type":"book-chapter","created":{"date-parts":[[2018,6,15]],"date-time":"2018-06-15T15:07:44Z","timestamp":1529075264000},"page":"190-195","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["An Extension of TRIANGLE Testbed with Model-Based Testing"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-6399-6162","authenticated-orcid":false,"given":"Laura","family":"Panizo","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-1226-6135","authenticated-orcid":false,"given":"Almudena","family":"D\u00edaz","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-8276-5936","authenticated-orcid":false,"given":"Bruno","family":"Garc\u00eda","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2018,6,16]]},"reference":[{"key":"11_CR1","doi-asserted-by":"publisher","unstructured":"Cattoni, A.F., Corrales-Madue\u00f1o, G., Dieudonne, M., Merino, P., D\u00edaz-Zayas, A., Salmer\u00f3n, A., Carlier, F., Saint-Germain, B., Morris, D., Figueiredo, R., Caffrey, J., Ba\u00f1os, J., Cardenas, C., Roche, N., Moore, A.: An end-to-end testing ecosystem for 5G. In: European Conference on Networks and Communications, EuCNC 2016, Athens, Greece, 27\u201330 June 2016, pp. 307\u2013312 (2016). \nhttps:\/\/doi.org\/10.1109\/EuCNC.2016.7561053","DOI":"10.1109\/EuCNC.2016.7561053"},{"key":"11_CR2","doi-asserted-by":"publisher","first-page":"14","DOI":"10.1155\/2017\/2012696","volume":"2017","author":"AR Espada","year":"2017","unstructured":"Espada, A.R., Gallardo, M.M., Salmer\u00f3n, A., Merino, P.: Performance analysis of spotify\u00ae for android with model-based testing. Mob. Inf. Syst. 2017, 14 (2017). \nhttps:\/\/doi.org\/10.1155\/2017\/2012696","journal-title":"Mob. Inf. Syst."},{"key":"11_CR3","volume-title":"The SPIN Model Checker: Primer and Reference Manual","author":"G Holzmann","year":"2003","unstructured":"Holzmann, G.: The SPIN Model Checker: Primer and Reference Manual. Addison-Wesley Professional, Boston (2003)"},{"key":"11_CR4","unstructured":"Keysight Technologies: Test Automation Platform Developer\u2019s System. \nhttp:\/\/www.keysight.com\/en\/pd-2747943-pn-KS8400A\/test-automation-platform-developers-system?cc=ES&lc=eng\n\n. Accessed Mar 21 2018"},{"key":"11_CR5","doi-asserted-by":"publisher","unstructured":"Panizo, L., Salmer\u00f3n, A., Gallardo, M.M., Merino, P.: Guided test case generation for mobile apps in the TRIANGLE project: work in progress. In: Proceedings of the 24th International SPIN Symposium on Model Checking of Software, pp. 192\u2013195. ACM (2017). \nhttps:\/\/doi.org\/10.1145\/3092282.3092298","DOI":"10.1145\/3092282.3092298"}],"container-title":["Lecture Notes in Computer Science","Model Checking Software"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-94111-0_11","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2018,6,15]],"date-time":"2018-06-15T15:14:43Z","timestamp":1529075683000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-94111-0_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018]]},"ISBN":["9783319941103","9783319941110"],"references-count":5,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-94111-0_11","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2018]]}}}