{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,2]],"date-time":"2025-06-02T07:40:09Z","timestamp":1748850009263,"version":"3.41.0"},"publisher-location":"Cham","reference-count":12,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319325811"},{"type":"electronic","value":"9783319325828"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"content-version":"tdm","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":[[2016]]},"DOI":"10.1007\/978-3-319-32582-8_6","type":"book-chapter","created":{"date-parts":[[2016,4,7]],"date-time":"2016-04-07T10:04:23Z","timestamp":1460023463000},"page":"97-103","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":4,"title":["ESBMC $$^{QtOM}$$ Q t O M : A Bounded Model Checking Tool to Verify Qt Applications"],"prefix":"10.1007","author":[{"given":"M\u00e1rio","family":"Garcia","sequence":"first","affiliation":[]},{"given":"Felipe","family":"Monteiro","sequence":"additional","affiliation":[]},{"given":"Lucas","family":"Cordeiro","sequence":"additional","affiliation":[]},{"given":"Eddie","family":"de Lima Filho","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2016,4,8]]},"reference":[{"key":"6_CR1","volume-title":"Systems and Software Verification: Model-Checking Techniques and Tool","author":"B Berard","year":"2010","unstructured":"Berard, B., Bidoit, M., Finkel, A.: Systems and Software Verification: Model-Checking Techniques and Tool. Springer Publishing, Heidelberg (2010)"},{"key":"6_CR2","doi-asserted-by":"crossref","unstructured":"Ramalho, M., et al.: SMT-based bounded model checking of C++ programs. In: ECBS, pp. 147\u2013156 (2013)","DOI":"10.1109\/ECBS.2013.15"},{"key":"6_CR3","unstructured":"The Qt Framework. http:\/\/www.qt.io\/qt-framework\/ , April 2015"},{"key":"6_CR4","doi-asserted-by":"crossref","unstructured":"Mehlitz, P., Rungta, N., Visser, W.: A hands-on Java pathfinder tutorial. In: ICSE, pp. 1493\u20131495 (2013)","DOI":"10.1109\/ICSE.2013.6606756"},{"issue":"1","key":"6_CR5","doi-asserted-by":"publisher","first-page":"237","DOI":"10.1109\/JPROC.2005.860997","volume":"94","author":"J Piesing","year":"2006","unstructured":"Piesing, J.: The DVB multimedia home platform (MHP) and related specifications. Proc. IEEE 94(1), 237\u2013247 (2006)","journal-title":"Proc. IEEE"},{"issue":"1","key":"6_CR6","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/2557833.2560576","volume":"39","author":"H Merwe van der","year":"2014","unstructured":"van der Merwe, H., et al.: Execution and property specifications for JPF-Android. ACM SIGSOFT Softw. Eng. Notes 39(1), 1\u20135 (2014)","journal-title":"ACM SIGSOFT Softw. Eng. Notes"},{"issue":"1","key":"6_CR7","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/2693208.2693247","volume":"40","author":"H Merwe van der","year":"2015","unstructured":"van der Merwe, H., et al.: Generation of library models for verification of Android applications. ACM SIGSOFT Softw. Eng. Notes 40(1), 1\u20135 (2015)","journal-title":"ACM SIGSOFT Softw. Eng. Notes"},{"key":"6_CR8","doi-asserted-by":"crossref","unstructured":"Monteiro, F., Cordeiro, L., de Lima Filho, E.: Bounded model checking of C++ programs based on the Qt Framework. In: GCCE, pp. 179\u2013180 (2015)","DOI":"10.1109\/GCCE.2015.7398699"},{"key":"6_CR9","unstructured":"Spatial Minds and CyberData Corporation: Locomaps. https:\/\/github.com\/craig-miller\/locomaps . Accessed 10 Sept 2015"},{"key":"6_CR10","unstructured":"Environmental Systems Research Institute: GeoMessage Simulator. https:\/\/github.com\/Esri\/geomessage-simulator-qt . Accessed 15 Sept 2015"},{"issue":"4","key":"6_CR11","first-page":"957","volume":"38","author":"L Cordeiro","year":"2012","unstructured":"Cordeiro, L., Fischer, B., Marques-Silva, J.: SMT-based bounded model checking for embedded ANSI-C software. IEEE TSE 38(4), 957\u2013974 (2012)","journal-title":"IEEE TSE"},{"issue":"4","key":"6_CR12","first-page":"267","volume":"21","author":"P C\u00e1mara de la","year":"2011","unstructured":"de la C\u00e1mara, P., Castro, J., Gallardo, M., Merino, P.: Verification support for ARINC-653-based avionics software. JSTVR 21(4), 267\u2013298 (2011)","journal-title":"JSTVR"}],"container-title":["Lecture Notes in Computer Science","Model Checking Software"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-32582-8_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,2]],"date-time":"2025-06-02T07:04:43Z","timestamp":1748847883000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-32582-8_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319325811","9783319325828"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-32582-8_6","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2016]]},"assertion":[{"value":"8 April 2016","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"This content has been made available to all.","name":"free","label":"Free to read"}]}}