{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,2]],"date-time":"2022-04-02T13:19:17Z","timestamp":1648905557562},"reference-count":3,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2020,2,17]],"date-time":"2020-02-17T00:00:00Z","timestamp":1581897600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2020,2,17]],"date-time":"2020-02-17T00:00:00Z","timestamp":1581897600000},"content-version":"vor","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Software Qual J"],"published-print":{"date-parts":[[2020,6]]},"DOI":"10.1007\/s11219-020-09508-z","type":"journal-article","created":{"date-parts":[[2020,2,18]],"date-time":"2020-02-18T15:45:16Z","timestamp":1582040716000},"page":"693-694","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Preface to the special section on improving software quality through formal methods"],"prefix":"10.1007","volume":"28","author":[{"given":"Yli\u00e8s","family":"Falcone","sequence":"first","affiliation":[]},{"given":"Leonardo","family":"Mariani","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2020,2,17]]},"reference":[{"key":"9508_CR1","doi-asserted-by":"publisher","unstructured":"Bartocci, E., & Falcone, Y. (Eds.). (2018). Lectures on runtime verification - introductory and advanced topics, lecture notes in computer science (Vol. 10457). Springer. https:\/\/doi.org\/10.1007\/978-3-319-75632-5.","DOI":"10.1007\/978-3-319-75632-5"},{"issue":"1","key":"9508_CR2","doi-asserted-by":"publisher","first-page":"31","DOI":"10.1007\/s10009-017-0454-5","volume":"21","author":"E Bartocci","year":"2019","unstructured":"Bartocci, E., Falcone, Y., Bonakdarpour, B., Colombo, C., Decker, N., Havelund, K., Joshi, Y., Klaedtke, F., Milewicz, R., Reger, G., Rosu, G., Signoles, J., Thoma, D., Zalinescu, E., & Zhang, Y. (2019). First international competition on runtime verification: rules, benchmarks, tools, and final results of CRV 2014. STTT, 21(1), 31\u201370. https:\/\/doi.org\/10.1007\/s10009-017-0454-5.","journal-title":"STTT"},{"key":"9508_CR3","doi-asserted-by":"publisher","unstructured":"Falcone, Y., Havelund, K., & Reger, G. (2013). A tutorial on runtime verification. In M. Broy, D. A. Peled, & G. Kalus (Eds.), Engineering Dependable Software Systems, NATO Science for Peace and Security Series, D: Information and Communication Security (Vol. 34, pp. 141\u2013175). IOS Press. https:\/\/doi.org\/10.3233\/978-1-61499-207-3-141.","DOI":"10.3233\/978-1-61499-207-3-141"}],"container-title":["Software Quality Journal"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11219-020-09508-z.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11219-020-09508-z\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11219-020-09508-z.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,2,18]],"date-time":"2021-02-18T23:41:10Z","timestamp":1613691670000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11219-020-09508-z"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,2,17]]},"references-count":3,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2020,6]]}},"alternative-id":["9508"],"URL":"https:\/\/doi.org\/10.1007\/s11219-020-09508-z","relation":{},"ISSN":["0963-9314","1573-1367"],"issn-type":[{"value":"0963-9314","type":"print"},{"value":"1573-1367","type":"electronic"}],"subject":[],"published":{"date-parts":[[2020,2,17]]},"assertion":[{"value":"17 February 2020","order":1,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"This content has been made available to all.","name":"free","label":"Free to read"}]}}