{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T04:04:59Z","timestamp":1725509099127},"reference-count":9,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015,4]]},"DOI":"10.1109\/icstw.2015.7107467","type":"proceedings-article","created":{"date-parts":[[2015,5,14]],"date-time":"2015-05-14T16:37:48Z","timestamp":1431621468000},"page":"1-3","source":"Crossref","is-referenced-by-count":0,"title":["Testing of a telecommunication protocol using constraint programming"],"prefix":"10.1109","author":[{"given":"Olga","family":"Grinchtein","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mats","family":"Carlsson","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Justin","family":"Pearson","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref4","first-page":"17","article-title":"Protocol log analysis with constraint programming (work in progress)","author":"carlsson","year":"0","journal-title":"Proceedings of the 8th International Workshop on Satisfiability Modulo Theories"},{"journal-title":"3rd generation partnership project (3GPP)","article-title":"Public warning system (PWS) requirements","year":"0","key":"ref3"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-74970-7_38"},{"journal-title":"Handbook of Constraint Programming","year":"2006","author":"rossi","key":"ref5"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-10428-7_6"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-44857-1_10"},{"journal-title":"3rd generation partnership project (3GPP)","article-title":"General packet radio service (GPRS) enhancements for evolved universal terrestrial radio access network (E-UTRAN) access","year":"0","key":"ref2"},{"journal-title":"3rd generation partnership project (3GPP)","article-title":"Evolved universal terrestrial radio access (E-UTRA); S1 application protocol (S1AP)","year":"0","key":"ref9"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.7763\/IJCEE.2010.V2.232"}],"event":{"name":"2015 IEEE Eighth International Conference on Software Testing, Verification and Validation Workshops (ICSTW)","start":{"date-parts":[[2015,4,13]]},"location":"Graz, Austria","end":{"date-parts":[[2015,4,17]]}},"container-title":["2015 IEEE Eighth International Conference on Software Testing, Verification and Validation Workshops (ICSTW)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7100633\/7107396\/07107467.pdf?arnumber=7107467","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,24]],"date-time":"2017-03-24T13:59:06Z","timestamp":1490363946000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7107467\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,4]]},"references-count":9,"URL":"https:\/\/doi.org\/10.1109\/icstw.2015.7107467","relation":{},"subject":[],"published":{"date-parts":[[2015,4]]}}}