{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,7]],"date-time":"2026-02-07T21:18:42Z","timestamp":1770499122652,"version":"3.49.0"},"publisher-location":"Cham","reference-count":39,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783319661575","type":"print"},{"value":"9783319661582","type":"electronic"}],"license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017]]},"DOI":"10.1007\/978-3-319-66158-2_25","type":"book-chapter","created":{"date-parts":[[2017,8,22]],"date-time":"2017-08-22T07:24:38Z","timestamp":1503386678000},"page":"387-404","source":"Crossref","is-referenced-by-count":10,"title":["Time-Aware Test Case Execution Scheduling for Cyber-Physical Systems"],"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":"Helge","family":"Spieker","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hein","family":"Meling","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mats","family":"Carlsson","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2017,8,23]]},"reference":[{"issue":"7","key":"25_CR1","doi-asserted-by":"crossref","first-page":"57","DOI":"10.1016\/0895-7177(93)90068-A","volume":"17","author":"A Aggoun","year":"1993","unstructured":"Aggoun, A., Beldiceanu, N.: Extending CHIP in order to solve complex scheduling and placement problems. Math. Comput. Modell. 17(7), 57\u201373 (1993)","journal-title":"Math. Comput. Modell."},{"key":"25_CR2","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4615-1479-4","volume-title":"Constraint-Based Scheduling: Applying Constraint Programming to Scheduling Problems","author":"P Baptiste","year":"2001","unstructured":"Baptiste, P., Le Pape, C., Nuijten, W.: Constraint-Based Scheduling: Applying Constraint Programming to Scheduling Problems, vol. 39. Springer Science & Business Media, Berlin (2001)"},{"issue":"1","key":"25_CR3","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1287\/ijoc.1100.0388","volume":"23","author":"JC Beck","year":"2011","unstructured":"Beck, J.C., Feng, T.K., Watson, J.P.: Combining constraint programming and local search for job-shop scheduling. INFORMS J. Comput. 23(1), 1\u201314 (2011)","journal-title":"INFORMS J. Comput."},{"key":"25_CR4","unstructured":"Behnke, D., Geiger, M.J.: Test instances for the flexible job shop scheduling problem with work centers. Technical report RR-12-01-01, Helmut-Schmidt University, Hamburg, Germany (2012)"},{"key":"25_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"63","DOI":"10.1007\/3-540-46135-3_5","volume-title":"Principles and Practice of Constraint Programming - CP 2002","author":"N Beldiceanu","year":"2002","unstructured":"Beldiceanu, N., Carlsson, M.: A new multi-resource cumulatives constraint with negative heights. In: Hentenryck, P. (ed.) CP 2002. LNCS, vol. 2470, pp. 63\u201379. Springer, Heidelberg (2002). doi: 10.1007\/3-540-46135-3_5"},{"issue":"3","key":"25_CR6","doi-asserted-by":"crossref","first-page":"157","DOI":"10.1007\/BF02023073","volume":"41","author":"P Brandimarte","year":"1993","unstructured":"Brandimarte, P.: Routing and scheduling in a flexible job shop by tabu search. Ann. Oper. Res. 41(3), 157\u2013183 (1993)","journal-title":"Ann. Oper. Res."},{"key":"25_CR7","volume-title":"Complex Scheduling (GOR-Publications)","author":"P Brucker","year":"2006","unstructured":"Brucker, P., Knust, S.: Complex Scheduling (GOR-Publications). Springer-Verlag New York Inc., Secaucus (2006)"},{"issue":"1","key":"25_CR8","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1016\/S0377-2217(98)00204-5","volume":"112","author":"P Brucker","year":"1999","unstructured":"Brucker, P., Drexl, A., M\u00f6hring, R., Neumann, K., Pesch, E.: Resource-constrained project scheduling: notation, classification, models, and methods. Eur. J. Oper. Res. 112(1), 3\u201341 (1999)","journal-title":"Eur. J. Oper. Res."},{"key":"25_CR9","doi-asserted-by":"crossref","unstructured":"de Campos, J., Arcuri, A., Fraser, G., de Abreu, R.: Continuous test generation: enhancing continuous integration with automated test generation. In: ASE 2014, V\u00e4ster\u00e5s, Sweden, pp. 55\u201366 (2014)","DOI":"10.1145\/2642937.2643002"},{"key":"25_CR10","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: Glaser, H., Hartel, P., Kuchen, H. (eds.) PLILP 1997. LNCS, vol. 1292, pp. 191\u2013206. Springer, Heidelberg (1997). doi: 10.1007\/BFb0033845"},{"key":"25_CR11","unstructured":"Carlsson, M., et al.: SICStus Prolog user\u2019s manual, release 4. Technical Report, SICS - Swedish Institute of Computer Science (2007)"},{"issue":"5","key":"25_CR12","doi-asserted-by":"crossref","first-page":"593","DOI":"10.1109\/TSE.2010.58","volume":"36","author":"H Do","year":"2010","unstructured":"Do, H., Mirarab, S., Tahvildari, L., Rothermel, G.: The effects of time constraints on test case prioritization: a series of controlled experiments. IEEE Trans. Soft. Eng. 36(5), 593\u2013617 (2010)","journal-title":"IEEE Trans. Soft. Eng."},{"key":"25_CR13","volume-title":"Continuous Integration: Improving Software Quality and Reducing Risk","author":"PM Duvall","year":"2007","unstructured":"Duvall, P.M., Matyas, S., Glover, A.: Continuous Integration: Improving Software Quality and Reducing Risk. Pearson Education, London (2007)"},{"key":"25_CR14","doi-asserted-by":"crossref","unstructured":"Elbaum, S., Rothermel, G., Penix, J.: Techniques for improving regression testing in continuous integration development environments. In: FSE 2014 (2014)","DOI":"10.1145\/2635868.2635910"},{"key":"25_CR15","unstructured":"Fowler, M., Foemmel, M.: Continuous integration (2006). http:\/\/martinfowler.com\/articles\/continuousIntegration.html"},{"key":"25_CR16","doi-asserted-by":"crossref","unstructured":"Gotlieb, A., Marijan, D.: Flower: optimal test suite reduction as a network maximum flow. In: ISSTA 2014, San Jos\u00e9, CA, USA, pp. 171\u2013180 (2014)","DOI":"10.1145\/2610384.2610416"},{"key":"25_CR17","doi-asserted-by":"crossref","unstructured":"Hao, D., Zhang, L., Wu, X., Mei, H., Rothermel, G.: On-demand test suite reduction. In: ICSE 2012, pp. 738\u2013748 (2012)","DOI":"10.1109\/ICSE.2012.6227144"},{"issue":"1","key":"25_CR18","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/j.ejor.2009.11.005","volume":"207","author":"S Hartmann","year":"2010","unstructured":"Hartmann, S., Briskorn, D.: A survey of variants and extensions of the resource-constrained project scheduling problem. Eur. J. Oper. Res. 207(1), 1\u201314 (2010)","journal-title":"Eur. J. Oper. Res."},{"issue":"2","key":"25_CR19","doi-asserted-by":"crossref","first-page":"394","DOI":"10.1016\/S0377-2217(99)00485-3","volume":"127","author":"S Hartmann","year":"2000","unstructured":"Hartmann, S., Kolisch, R.: Experimental evaluation of state-of-the-art heuristics for the resource-constrained project scheduling problem. Eur. J. Oper. Res. 127(2), 394\u2013407 (2000)","journal-title":"Eur. J. Oper. Res."},{"issue":"4","key":"25_CR20","doi-asserted-by":"crossref","first-page":"279","DOI":"10.1016\/S0305-0548(97)00055-5","volume":"25","author":"W Herroelen","year":"1998","unstructured":"Herroelen, W., De Reyck, B., Demeulemeester, E.: Resource-constrained project scheduling: a survey of recent developments. Comput. Oper. Res. 25(4), 279\u2013302 (1998)","journal-title":"Comput. Oper. Res."},{"issue":"1","key":"25_CR21","doi-asserted-by":"crossref","first-page":"23","DOI":"10.1016\/j.ejor.2005.01.065","volume":"174","author":"R Kolisch","year":"2006","unstructured":"Kolisch, R., Hartmann, S.: Experimental investigation of heuristics for resource-constrained project scheduling: an update. Eur. J. Oper. Res. 174(1), 23\u201337 (2006)","journal-title":"Eur. J. Oper. Res."},{"key":"25_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"262","DOI":"10.1007\/978-3-319-23219-5_19","volume-title":"Principles and Practice of Constraint Programming","author":"S Kreter","year":"2015","unstructured":"Kreter, S., Schutt, A., Stuckey, P.J.: Modeling and solving project scheduling with calendars. In: Pesant, G. (ed.) CP 2015. LNCS, vol. 9255, pp. 262\u2013278. Springer, Cham (2015). doi: 10.1007\/978-3-319-23219-5_19"},{"key":"25_CR23","doi-asserted-by":"crossref","first-page":"1322","DOI":"10.1016\/j.infsof.2014.04.013","volume":"56","author":"C Lin","year":"2014","unstructured":"Lin, C., Tang, K., Kapfhammer, G.: Test suite reduction methods that decrease regression testing costs by identifying irreplaceable tests. Inf. Softw. Technol. 56, 1322\u20131344 (2014)","journal-title":"Inf. Softw. Technol."},{"key":"25_CR24","doi-asserted-by":"crossref","unstructured":"Marijan, D., Gotlieb, A., Sen, S.: Test case prioritization for continuous regression testing: an industrial case study. In: ICSM 2013, Eindhoven, The Netherlands (2013)","DOI":"10.1109\/ICSM.2013.91"},{"key":"25_CR25","unstructured":"Mossige, M.: CSPLib problem 073: test scheduling problem. http:\/\/www.csplib.org\/Problems\/prob073"},{"key":"25_CR26","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","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, Cham (2014). doi: 10.1007\/978-3-319-10428-7_6"},{"key":"25_CR27","doi-asserted-by":"crossref","unstructured":"Orso, A., Rothermel, G.: Software testing: a research travelogue (2000\u20132014). In: FOSE 2014, Hyderabad, India, pp. 117\u2013132 (2014)","DOI":"10.1145\/2593882.2593885"},{"key":"25_CR28","doi-asserted-by":"crossref","unstructured":"Orso, A., Shi, N., Harrold, M.J.: Scaling regression testing to large software systems. In: FSE 2014, pp. 241\u2013251. ACM Press, Newport Beach (2004)","DOI":"10.1145\/1029894.1029928"},{"key":"25_CR29","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"746","DOI":"10.1007\/978-3-642-04244-7_58","volume-title":"Principles and Practice of Constraint Programming - CP 2009","author":"A Schutt","year":"2009","unstructured":"Schutt, A., Feydy, T., Stuckey, P.J., Wallace, M.G.: Why cumulative decomposition is not as bad as it sounds. In: Gent, I.P. (ed.) CP 2009. LNCS, vol. 5732, pp. 746\u2013761. Springer, Heidelberg (2009). doi: 10.1007\/978-3-642-04244-7_58"},{"key":"25_CR30","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"362","DOI":"10.1007\/978-3-642-29828-8_24","volume-title":"Integration of AI and OR Techniques in Contraint Programming for Combinatorial Optimzation Problems","author":"A Schutt","year":"2012","unstructured":"Schutt, A., Chu, G., Stuckey, P.J., Wallace, M.G.: Maximising the net present value for resource-constrained project scheduling. In: Beldiceanu, N., Jussien, N., Pinson, \u00c9. (eds.) CPAIOR 2012. LNCS, vol. 7298, pp. 362\u2013378. Springer, Heidelberg (2012). doi: 10.1007\/978-3-642-29828-8_24"},{"key":"25_CR31","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"628","DOI":"10.1007\/978-3-642-40627-0_47","volume-title":"Principles and Practice of Constraint Programming","author":"A Schutt","year":"2013","unstructured":"Schutt, A., Feydy, T., Stuckey, P.J.: Scheduling optional tasks with explanation. In: Schulte, C. (ed.) CP 2013. LNCS, vol. 8124, pp. 628\u2013644. Springer, Heidelberg (2013). doi: 10.1007\/978-3-642-40627-0_47"},{"issue":"3","key":"25_CR32","doi-asserted-by":"crossref","first-page":"273","DOI":"10.1007\/s10951-012-0285-x","volume":"16","author":"A Schutt","year":"2013","unstructured":"Schutt, A., Feydy, T., Stuckey, P.J., Wallace, M.G.: Solving RCPSP\/max by lazy clause generation. J. Sched. 16(3), 273\u2013289 (2013)","journal-title":"J. Sched."},{"key":"25_CR33","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"393","DOI":"10.1007\/978-3-319-23219-5_28","volume-title":"Principles and Practice of Constraint Programming","author":"M Siala","year":"2015","unstructured":"Siala, M., Artigues, C., Hebrard, E.: Two clause learning approaches for disjunctive scheduling. In: Pesant, G. (ed.) CP 2015. LNCS, vol. 9255, pp. 393\u2013402. Springer, Cham (2015). doi: 10.1007\/978-3-319-23219-5_28"},{"key":"25_CR34","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"52","DOI":"10.1007\/978-3-540-85958-1_4","volume-title":"Principles and Practice of Constraint Programming","author":"H Simonis","year":"2008","unstructured":"Simonis, H., O\u2019Sullivan, B.: Search Strategies for rectangle packing. In: Stuckey, P.J. (ed.) CP 2008. LNCS, vol. 5202, pp. 52\u201366. Springer, Heidelberg (2008). doi: 10.1007\/978-3-540-85958-1_4"},{"key":"25_CR35","doi-asserted-by":"crossref","unstructured":"Stolberg, S.: Enabling agile testing through continuous integration. In: AGILE 2009, pp. 369\u2013374. IEEE (2009)","DOI":"10.1109\/AGILE.2009.16"},{"key":"25_CR36","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"483","DOI":"10.1007\/978-3-319-44953-1_31","volume-title":"Principles and Practice of Constraint Programming","author":"R Szeredi","year":"2016","unstructured":"Szeredi, R., Schutt, A.: Modelling and solving multi-mode resource-constrained project scheduling. In: Rueher, M. (ed.) CP 2016. LNCS, vol. 9892, pp. 483\u2013492. Springer, Cham (2016). doi: 10.1007\/978-3-319-44953-1_31"},{"issue":"2","key":"25_CR37","doi-asserted-by":"crossref","first-page":"278","DOI":"10.1016\/0377-2217(93)90182-M","volume":"64","author":"E Taillard","year":"1993","unstructured":"Taillard, E.: Benchmarks for basic scheduling problems. Eur. J. Oper. Res. 64(2), 278\u2013285 (1993)","journal-title":"Eur. J. Oper. Res."},{"key":"25_CR38","doi-asserted-by":"crossref","unstructured":"Walcott, K.R., Soffa, M.L., Kapfhammer, G.M., Roos, R.S.: Time-aware test suite prioritization. In: ISSTA 2006, Portland, Maine, USA, pp. 1\u201312 (2006)","DOI":"10.1145\/1146238.1146240"},{"key":"25_CR39","doi-asserted-by":"crossref","unstructured":"Zhang, L., Hou, S., Guo, C., Xie, T., Mei, H.: Time-aware test-case prioritization using integer linear programming. In: ISSTA 2009, Chicago, IL, USA, pp. 213\u2013224 (2009)","DOI":"10.1145\/1572272.1572297"}],"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-66158-2_25","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,10,2]],"date-time":"2019-10-02T17:13:20Z","timestamp":1570036400000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-66158-2_25"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319661575","9783319661582"],"references-count":39,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-66158-2_25","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2017]]}}}