{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,28]],"date-time":"2025-09-28T04:20:10Z","timestamp":1759033210597},"publisher-location":"Cham","reference-count":16,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319104270"},{"type":"electronic","value":"9783319104287"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-319-10428-7_6","type":"book-chapter","created":{"date-parts":[[2014,8,13]],"date-time":"2014-08-13T01:33:54Z","timestamp":1407893634000},"page":"25-41","source":"Crossref","is-referenced-by-count":12,"title":["Using CP in Automatic Test Generation for ABB Robotics\u2019 Paint Control System"],"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":"6_CR1","unstructured":"Fowler, M., Foemmel, M.: Continuous integration (2006) (accessed August 13, 2013)"},{"key":"6_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":"6_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: Glaser, H., Hartel, P., Kuchen, H. (eds.) PLILP 1997. LNCS, vol.\u00a01292, pp. 191\u2013206. Springer, Heidelberg (1997)"},{"key":"6_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":"6_CR5","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: Design, Automation and Test in Europe Conference and Exhibition (DATE), pp. 1\u20134 (2014)","DOI":"10.7873\/DATE2014.203"},{"key":"6_CR6","doi-asserted-by":"crossref","unstructured":"Stolberg, S.: Enabling agile testing through continuous integration. In: Agile Conference, AGILE 2009, pp. 369\u2013374. IEEE (2009)","DOI":"10.1109\/AGILE.2009.16"},{"key":"6_CR7","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"},{"key":"6_CR8","unstructured":"Utting, M., Legeard, B.: Practical Model-Based Testing: A Tools Approach. Morgan Kaufmann Publishers Inc., San Francisco (2007)"},{"key":"6_CR9","unstructured":"R\u00e9gin, J.C.: The global minimum distance constraint. Technical report, Technical report, ILOG (1997)"},{"key":"6_CR10","unstructured":"Mossige, M.: Prolog Model of ABB\u2019s Paint Control System for test case generation (2014), http:\/\/www.ux.uis.no\/~mortenm\/ips\/trigdev_bt.pl"},{"key":"6_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"337","DOI":"10.1007\/978-3-540-78800-3_24","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"L. Moura de","year":"2008","unstructured":"de Moura, L., Bj\u00f8rner, N.S.: Z3: An efficient SMT solver. In: Ramakrishnan, C.R., Rehof, J. (eds.) TACAS 2008. LNCS, vol.\u00a04963, pp. 337\u2013340. Springer, Heidelberg (2008)"},{"key":"6_CR12","doi-asserted-by":"publisher","first-page":"105","DOI":"10.1002\/stvr.294","volume":"14","author":"P. McMinn","year":"2004","unstructured":"McMinn, P.: Search-based software test data generation: A survey. Software Testing, Verification and Reliability\u00a014, 105\u2013156 (2004)","journal-title":"Software Testing, Verification and Reliability"},{"key":"6_CR13","unstructured":"IBM, ILOG\u00a0Labs, I.: IBM CPLEX: High-performance software for mathematical programming and optimization (2006), http:\/\/www.ilog.com\/products\/cplex\/"},{"key":"6_CR14","unstructured":"Rossi, F., Beek, P.V., Walsh, T.: Handbook of Constraint Programming (Foundations of Artificial Intelligence). Elsevier Science Inc., New York (2006)"},{"key":"6_CR15","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":"6_CR16","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.: Optimisation modelling for software developers. In: Milano, M. (ed.) CP 2012. LNCS, vol.\u00a07514, pp. 274\u2013289. Springer, Heidelberg (2012)"}],"container-title":["Lecture Notes in Computer Science","Principles and Practice of Constraint Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-10428-7_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,4,14]],"date-time":"2022-04-14T10:09:19Z","timestamp":1649930959000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-10428-7_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319104270","9783319104287"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-10428-7_6","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2014]]}}}