{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,28]],"date-time":"2025-09-28T04:08:30Z","timestamp":1759032510170},"publisher-location":"Berlin, Heidelberg","reference-count":11,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642387081"},{"type":"electronic","value":"9783642387098"}],"license":[{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-662-44857-1_10","type":"book-chapter","created":{"date-parts":[[2014,10,17]],"date-time":"2014-10-17T18:48:42Z","timestamp":1413571722000},"page":"145-160","source":"Crossref","is-referenced-by-count":7,"title":["Testing Robotized Paint System Using Constraint Programming: An Industrial Case Study"],"prefix":"10.1007","author":[{"given":"Morten","family":"Mossige","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Arnaud","family":"Gotlieb","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hein","family":"Meling","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"10_CR1","unstructured":"Fowler, M., Foemmel, M.: Continuous integration (2006) (accessed August 13, 2013)"},{"key":"10_CR2","doi-asserted-by":"crossref","unstructured":"Mossige, M., Gotlieb, A., Meling, H.: Poster: Test generation for robotized paint systems using constraint programming in a continuous integration environment. In: 2013 IEEE Sixth International Conference on Software Testing, Verification and Validation (ICST), pp. 489\u2013490 (2013)","DOI":"10.1109\/ICST.2013.71"},{"key":"10_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","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.\u00a01292, pp. 191\u2013206. Springer, Heidelberg (1997)"},{"key":"10_CR4","doi-asserted-by":"crossref","unstructured":"Di Alesio, S., Nejati, S., Briand, L., Gotlieb, A.: Stress testing of task deadlines: A constraint programming approach. In: 2013 IEEE 24th International Symposium on Software Reliability Engineering (ISSRE), pp. 158\u2013167. IEEE (2013)","DOI":"10.1109\/ISSRE.2013.6698915"},{"key":"10_CR5","doi-asserted-by":"crossref","unstructured":"Balck, K., Pearson, J., Grinchtein, O.: Model-based protocol log generation for testing a telecommunication test harness using clp. In: Proceedings of DATE 2014, the 3rd International Conference on Design, Automation, & Test in Europe. IEEE Computer Society (2014)","DOI":"10.7873\/DATE.2014.203"},{"key":"10_CR6","unstructured":"Van Hentenryck, P.: Constraint Satisfaction in Logic Programming. MIT Press (1989)"},{"key":"10_CR7","doi-asserted-by":"crossref","unstructured":"Gotlieb, A.: TCAS Software Verification using Constraint Programming. The Knowledge Engineering Review 27(3), 343\u2013360 (2012)","DOI":"10.1017\/S0269888912000252"},{"key":"10_CR8","unstructured":"Rossum, G.: Python reference manual. Technical report, Amsterdam, The Netherlands, The Netherlands (1995)"},{"key":"10_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"274","DOI":"10.1007\/978-3-642-33558-7_22","volume-title":"Principles and Practice of Constraint Programming","author":"K. Francis","year":"2012","unstructured":"Francis, K., Brand, S., Stuckey, P.J.: Optimisation modelling for software developers. In: Milano, M. (ed.) CP 2012. LNCS, vol.\u00a07514, pp. 274\u2013289. Springer, Heidelberg (2012)"},{"key":"10_CR10","doi-asserted-by":"crossref","unstructured":"de la Banda, M.G., Stuckey, P.J., Van Hentenryck, P., Wallace, M.: The future of optimization technology. Constraints, 1\u201313 (2013)","DOI":"10.1007\/s10601-013-9149-z"},{"key":"10_CR11","doi-asserted-by":"crossref","unstructured":"Marriott, K., Stuckey, P.J.: Programming with constraints: an introduction. MIT press (1998)","DOI":"10.7551\/mitpress\/5625.001.0001"}],"container-title":["Lecture Notes in Computer Science","Advanced Information Systems Engineering"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-662-44857-1_10","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,4,20]],"date-time":"2022-04-20T03:06:57Z","timestamp":1650424017000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-662-44857-1_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783642387081","9783642387098"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/978-3-662-44857-1_10","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2014]]}}}