{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,5]],"date-time":"2025-05-05T04:02:07Z","timestamp":1746417727155,"version":"3.40.4"},"publisher-location":"Cham","reference-count":28,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319104270"},{"type":"electronic","value":"9783319104287"}],"license":[{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-319-10428-7_58","type":"book-chapter","created":{"date-parts":[[2014,8,13]],"date-time":"2014-08-13T01:33:54Z","timestamp":1407893634000},"page":"813-830","source":"Crossref","is-referenced-by-count":2,"title":["Worst-Case Scheduling of Software Tasks"],"prefix":"10.1007","author":[{"given":"Stefano","family":"Di Alesio","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Shiva","family":"Nejati","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Lionel","family":"Briand","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Arnaud","family":"Gotlieb","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"6","key":"58_CR1","doi-asserted-by":"publisher","first-page":"957","DOI":"10.1016\/j.infsof.2008.12.005","volume":"51","author":"W. Afzal","year":"2009","unstructured":"Afzal, W., Torkar, R., Feldt, R.: A systematic review of search-based testing for non-functional system properties. Information and Software Technology\u00a051(6), 957\u2013976 (2009)","journal-title":"Information and Software Technology"},{"key":"58_CR2","doi-asserted-by":"crossref","unstructured":"Alur, R., Courcoubetis, C., Dill, D.: Model-checking for real-time systems. In: Proceedings of the Fifth Annual IEEE Symposium on Logic in Computer Science, LICS 1990, pp. 414\u2013425. IEEE (1990)","DOI":"10.1109\/LICS.1990.113766"},{"issue":"1","key":"58_CR3","doi-asserted-by":"publisher","first-page":"67","DOI":"10.1007\/s10479-005-3968-2","volume":"140","author":"A. Atamt\u00fcrk","year":"2005","unstructured":"Atamt\u00fcrk, A., Savelsbergh, M.W.: Integer-programming software systems. Annals of Operations Research\u00a0140(1), 67\u2013124 (2005)","journal-title":"Annals of Operations Research"},{"key":"58_CR4","doi-asserted-by":"crossref","unstructured":"Baptiste, P., Le Pape, C., Nuijten, W.: Constraint-based scheduling: applying constraint programming to scheduling problems, vol.\u00a039. Springer (2001)","DOI":"10.1007\/978-1-4615-1479-4"},{"key":"58_CR5","unstructured":"Beizer, B.: Software testing techniques. Dreamtech Press (2002)"},{"key":"58_CR6","unstructured":"Bell, R.: Introduction to IEC 61508. In: Proceedings of the 10th Australian Workshop on Safety Critical Systems and Software, vol.\u00a055, pp. 3\u201312. Australian Computer Society, Inc. (2006)"},{"key":"58_CR7","unstructured":"Berndt, D.J., Watkins, A.: High volume software testing using genetic algorithms. In: Proceedings of the 38th Annual Hawaii International Conference on System Sciences 2005. IEEE (2005)"},{"issue":"2","key":"58_CR8","doi-asserted-by":"publisher","first-page":"145","DOI":"10.1007\/s10710-006-9003-9","volume":"7","author":"L.C. Briand","year":"2006","unstructured":"Briand, L.C., Labiche, Y., Shousha, M.: Using genetic algorithms for early schedulability analysis and stress testing in real-time systems. Genetic Programming and Evolvable Machines\u00a07(2), 145\u2013170 (2006)","journal-title":"Genetic Programming and Evolvable Machines"},{"key":"58_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"153","DOI":"10.1007\/978-3-540-30201-8_14","volume-title":"Principles and Practice of Constraint Programming \u2013 CP 2004","author":"H. Cambazard","year":"2004","unstructured":"Cambazard, H., Hladik, P.E., D\u00e9planche, A.M., Jussien, N., Trinquet, Y.: Decomposition and learning for a hard real time task allocation problem. In: Wallace, M. (ed.) CP 2004. LNCS, vol.\u00a03258, pp. 153\u2013167. Springer, Heidelberg (2004)"},{"key":"58_CR10","doi-asserted-by":"crossref","unstructured":"Di Alesio, S., Gotlieb, A., Nejati, S., Briand, L.: Testing deadline misses for real-time systems using constraint optimization techniques. In: 2012 IEEE Fifth International Conference on Software Testing, Verification and Validation (ICST), pp. 764\u2013769. IEEE (2012)","DOI":"10.1109\/ICST.2012.171"},{"key":"58_CR11","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":"58_CR12","doi-asserted-by":"crossref","unstructured":"Gomaa, H.: Designing concurrent, distributed, and real-time applications with UML. In: Proceedings of the 28th International Conference on Software Engineering, pp. 1059\u20131060. ACM (2006)","DOI":"10.1145\/1134285.1134504"},{"key":"58_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/11813040_1","volume-title":"FM 2006: Formal Methods","author":"T.A. Henzinger","year":"2006","unstructured":"Henzinger, T.A., Sifakis, J.: The embedded systems design challenge. In: Misra, J., Nipkow, T., Sekerinski, E. (eds.) FM 2006. LNCS, vol.\u00a04085, pp. 1\u201315. Springer, Heidelberg (2006)"},{"issue":"1","key":"58_CR14","doi-asserted-by":"publisher","first-page":"132","DOI":"10.1016\/j.jss.2007.02.032","volume":"81","author":"P.E. Hladik","year":"2008","unstructured":"Hladik, P.E., Cambazard, H., D\u00e9planche, A.M., Jussien, N.: Solving a real-time allocation problem with constraint programming. Journal of Systems and Software\u00a081(1), 132\u2013149 (2008)","journal-title":"Journal of Systems and Software"},{"key":"58_CR15","unstructured":"Jackson, D., Thomas, M., Millett, L.I., et al.: Software for Dependable Systems: Sufficient Evidence? National Academies Press (2007)"},{"key":"58_CR16","unstructured":"Jain, R.: The art of computer systems performance analysis. John Wiley & Sons (2008)"},{"key":"58_CR17","doi-asserted-by":"crossref","unstructured":"Kopetz, H.: Real-time systems: design principles for distributed embedded applications. Springer (2011)","DOI":"10.1007\/978-1-4419-8237-7_11"},{"key":"58_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"148","DOI":"10.1007\/978-3-642-01929-6_12","volume-title":"Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems","author":"P. Laborie","year":"2009","unstructured":"Laborie, P.: IBM ILOG CP Optimizer for detailed scheduling illustrated on three problems. In: van Hoeve, W.-J., Hooker, J.N. (eds.) CPAIOR 2009. LNCS, vol.\u00a05547, pp. 148\u2013162. Springer, Heidelberg (2009)"},{"key":"58_CR19","series-title":"Lecture Notes in Computer Science","volume-title":"Principles and Practice of Constraint Programming - CP97","author":"C. Le Pape","year":"1997","unstructured":"Le Pape, C., Baptiste, P.: An experimental comparison of constraint-based algorithms for the preemptive job shop scheduling problem. In: Smolka, G. (ed.) CP 1997. LNCS, vol.\u00a01330, Springer, Heidelberg (1997)"},{"key":"58_CR20","unstructured":"Lee, E.A., Seshia, S.A.: Introduction to embedded systems: A cyber-physical systems approach. Lee & Seshia (2011)"},{"issue":"2","key":"58_CR21","doi-asserted-by":"publisher","first-page":"228","DOI":"10.1287\/ijoc.1100.0446","volume":"24","author":"A. Malapert","year":"2012","unstructured":"Malapert, A., Cambazard, H., Gu\u00e9ret, C., Jussien, N., Langevin, A., Rousseau, L.M.: An optimal constraint programming approach to the open-shop problem. INFORMS Journal on Computing\u00a024(2), 228\u2013244 (2012)","journal-title":"INFORMS Journal on Computing"},{"key":"58_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"759","DOI":"10.1007\/978-3-642-33666-9_48","volume-title":"Model Driven Engineering Languages and Systems","author":"S. Nejati","year":"2012","unstructured":"Nejati, S., Di Alesio, S., Sabetzadeh, M., Briand, L.: Modeling and analysis of CPU usage in safety-critical embedded systems to support stress testing. In: France, R.B., Kazmeier, J., Breu, R., Atkinson, C. (eds.) MODELS 2012. LNCS, vol.\u00a07590, pp. 759\u2013775. Springer, Heidelberg (2012)"},{"issue":"4","key":"58_CR23","doi-asserted-by":"publisher","first-page":"97","DOI":"10.1016\/j.entcs.2006.10.010","volume":"164","author":"R. Nilsson","year":"2006","unstructured":"Nilsson, R., Offutt, J., Mellin, J.: Test case generation for mutation-based testing of timeliness. Electronic Notes in Theoretical Computer Science\u00a0164(4), 97\u2013114 (2006)","journal-title":"Electronic Notes in Theoretical Computer Science"},{"key":"58_CR24","doi-asserted-by":"crossref","unstructured":"Shams, M., Krishnamurthy, D., Far, B.: A model-based approach for testing the performance of web applications. In: Proceedings of the 3rd International Workshop on Software Quality Assurance, pp. 54\u201361. ACM (2006)","DOI":"10.1145\/1188895.1188909"},{"key":"58_CR25","doi-asserted-by":"crossref","unstructured":"Singh, A.: Identifying Malicious Code Through Reverse Engineering. Springer (2009)","DOI":"10.1007\/978-0-387-89468-3_5"},{"issue":"2","key":"58_CR26","doi-asserted-by":"publisher","first-page":"117","DOI":"10.1016\/0165-6074(94)90080-9","volume":"40","author":"K. Tindell","year":"1994","unstructured":"Tindell, K., Clark, J.: Holistic schedulability analysis for distributed hard real-time systems. Microprocessing and Microprogramming\u00a040(2), 117\u2013134 (1994)","journal-title":"Microprocessing and Microprogramming"},{"issue":"12","key":"58_CR27","doi-asserted-by":"publisher","first-page":"1147","DOI":"10.1109\/32.888628","volume":"26","author":"E.J. Weyuker","year":"2000","unstructured":"Weyuker, E.J., Vokolos, F.I.: Experience with performance testing of software systems: issues, an approach, and case study. IEEE Transactions on Software Engineering\u00a026(12), 1147\u20131156 (2000)","journal-title":"IEEE Transactions on Software Engineering"},{"issue":"1","key":"58_CR28","doi-asserted-by":"publisher","first-page":"213","DOI":"10.1016\/S0360-8352(02)00065-7","volume":"43","author":"Y.S. Yun","year":"2002","unstructured":"Yun, Y.S., Gen, M.: Advanced scheduling problem using constraint programming techniques in SCM environment. Computers & Industrial Engineering\u00a043(1), 213\u2013229 (2002)","journal-title":"Computers & Industrial Engineering"}],"container-title":["Lecture Notes in Computer Science","Principles and Practice of Constraint Programming"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-10428-7_58","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,4]],"date-time":"2025-05-04T04:55:01Z","timestamp":1746334501000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-10428-7_58"}},"subtitle":["A Constraint Optimization Model to Support Performance Testing"],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319104270","9783319104287"],"references-count":28,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-10428-7_58","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2014]]}}}