{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,25]],"date-time":"2025-03-25T17:00:03Z","timestamp":1742922003375,"version":"3.40.3"},"publisher-location":"Cham","reference-count":17,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319212142"},{"type":"electronic","value":"9783319212159"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015]]},"DOI":"10.1007\/978-3-319-21215-9_9","type":"book-chapter","created":{"date-parts":[[2015,7,16]],"date-time":"2015-07-16T13:36:34Z","timestamp":1437053794000},"page":"137-154","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":3,"title":["A Constraint Optimisation Model for Analysis of Telecommunication Protocol Logs"],"prefix":"10.1007","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":"297","published-online":{"date-parts":[[2015,7,17]]},"reference":[{"issue":"5","key":"9_CR1","doi-asserted-by":"publisher","first-page":"806","DOI":"10.7763\/IJCEE.2010.V2.232","volume":"2","author":"S Chadchan","year":"2010","unstructured":"Chadchan, S., Akki, C.: 3GPP LTE\/SAE: An overview. International Journal of Computer and Electrical Engineering 2(5), 806\u2013814 (2010)","journal-title":"International Journal of Computer and Electrical Engineering"},{"key":"9_CR2","unstructured":"3GPP: Evolved universal terrestrial radio access (e-utra) and evolved universal terrestrial radio access network (e-utran); overall description; stage 2. TS 36.300, 3rd Generation Partnership Project (3GPP)"},{"key":"9_CR3","unstructured":"3GPP: Public warning system (PWS) requirements. TS 22.268, 3rd Generation Partnership Project (3GPP)"},{"key":"9_CR4","unstructured":"Rossi, F., van Beek, P., Walsh, T., eds.: Handbook of Constraint Programming. Elsevier (2006)"},{"key":"9_CR5","unstructured":"Carlsson, M., Grinchtein, O., Pearson, J.: Protocol log analysis with constraint programming (work in progress). In: Proceedings of the 12th International Workshop on Satisfiability Modulo Theories, SMT, pp. 17\u201326 (2014)"},{"key":"9_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"529","DOI":"10.1007\/978-3-540-74970-7_38","volume-title":"Principles and Practice of Constraint Programming \u2013 CP 2007","author":"N Nethercote","year":"2007","unstructured":"Nethercote, N., Stuckey, P.J., Becket, R., Brand, S., Duck, G.J., Tack, G.R.: MiniZinc: towards a standard CP modelling language. In: Bessi\u00e8re, C. (ed.) CP 2007. LNCS, vol. 4741, pp. 529\u2013543. Springer, Heidelberg (2007)"},{"key":"9_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"145","DOI":"10.1007\/978-3-662-44857-1_10","volume-title":"Testing Software and Systems","author":"M Mossige","year":"2014","unstructured":"Mossige, M., Gotlieb, A., Meling, H.: Testing robotized paint system using constraint programming: an industrial case study. In: Merayo, M.G., de Oca, E.M. (eds.) ICTSS 2014. LNCS, vol. 8763, pp. 145\u2013160. Springer, Heidelberg (2014)"},{"key":"9_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"25","DOI":"10.1007\/978-3-319-10428-7_6","volume-title":"Principles and Practice of Constraint Programming","author":"M Mossige","year":"2014","unstructured":"Mossige, M., Gotlieb, A., Meling, H.: Using CP in automatic test generation for ABB robotics\u2019 paint control system. In: O\u2019Sullivan, B. (ed.) CP 2014. LNCS, vol. 8656, pp. 25\u201341. Springer, Heidelberg (2014)"},{"issue":"9","key":"9_CR9","doi-asserted-by":"publisher","first-page":"900","DOI":"10.1109\/32.92910","volume":"17","author":"R DeMilli","year":"1991","unstructured":"DeMilli, R., Offutt, A.J.: Constraint-based automatic test data generation. IEEE Transactions on Software Engineering 17(9), 900\u2013910 (1991)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"9_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"281","DOI":"10.1007\/11408901_21","volume-title":"Dependable Computing - EDCC 2005","author":"N Williams","year":"2005","unstructured":"Williams, N., Marre, B., Mouy, P., Roger, M.: PathCrawler: automatic generation of path tests by combining static and dynamic analysis. In: Dal Cin, M., Ka\u00e2niche, M., Pataricza, A. (eds.) EDCC 2005. LNCS, vol. 3463, pp. 281\u2013292. Springer, Heidelberg (2005)"},{"key":"9_CR11","series-title":"Communications in Computer and Information Science","doi-asserted-by":"publisher","first-page":"140","DOI":"10.1007\/978-3-642-29578-2_9","volume-title":"Software and Data Technologies","author":"M Carlier","year":"2013","unstructured":"Carlier, M., Dubois, C., Gotlieb, A.: FocalTest: a constraint programming approach for property-based testing. In: Cordeiro, J., Virvou, M., Shishkov, B. (eds.) ICSOFT 2010. CCIS, vol. 170, pp. 140\u2013155. Springer, Heidelberg (2013)"},{"key":"9_CR12","doi-asserted-by":"crossref","unstructured":"Balck, K., Grinchtein, O., Pearson, J.: Model-based protocol log generation for testing a telecommunication test harness using clp. In: DATE (2014)","DOI":"10.7873\/DATE.2014.203"},{"key":"9_CR13","unstructured":"3GPP: General packet radio service (GPRS) enhancements for evolved universal terrestrial radio access network (E-UTRAN) access. TS 23.401, 3rd Generation Partnership Project (3GPP)"},{"key":"9_CR14","unstructured":"3GPP: Technical realization of cell broadcast service (CBS). TS 23.041, 3rd Generation Partnership Project (3GPP)"},{"key":"9_CR15","unstructured":"3GPP: Evolved universal terrestrial radio access (E-UTRA); S1 application protocol (S1AP). TS 36.413, 3rd Generation Partnership Project (3GPP)"},{"key":"9_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"191","DOI":"10.1007\/BFb0033845","volume-title":"Programming Languages: Implementations, Logics, and Programs","author":"M Carlsson","year":"1997","unstructured":"Carlsson, M., Ottosson, G., Carlson, B.: An open-ended finite domain constraint solver. In: Hartel, P.H., Kuchen, H. (eds.) PLILP 1997. LNCS, vol. 1292, pp. 191\u2013206. Springer, Heidelberg (1997)"},{"key":"9_CR17","unstructured":"Gecode Team: Gecode: A generic constraint development environment (2006). http:\/\/www.gecode.org"}],"container-title":["Lecture Notes in Computer Science","Tests and Proofs"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-21215-9_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,2,21]],"date-time":"2023-02-21T09:40:03Z","timestamp":1676972403000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-21215-9_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319212142","9783319212159"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-21215-9_9","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2015]]},"assertion":[{"value":"17 July 2015","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}