{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,22]],"date-time":"2024-10-22T16:19:37Z","timestamp":1729613977079,"version":"3.28.0"},"reference-count":28,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013,11]]},"DOI":"10.1109\/issre.2013.6698915","type":"proceedings-article","created":{"date-parts":[[2014,1,6]],"date-time":"2014-01-06T17:09:09Z","timestamp":1389028149000},"page":"158-167","source":"Crossref","is-referenced-by-count":16,"title":["Stress testing of task deadlines: A constraint programming approach"],"prefix":"10.1109","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":"263","reference":[{"key":"19","doi-asserted-by":"publisher","DOI":"10.1109\/ICST.2012.171"},{"key":"17","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2006.10.010"},{"key":"18","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2007.02.032"},{"key":"15","doi-asserted-by":"crossref","first-page":"872","DOI":"10.1145\/1985793.1985930","article-title":"Model-based performance testing: NIER track","author":"barna","year":"2011","journal-title":"Software Engineering (ICSE) 2011 33rd International Conference on"},{"key":"16","doi-asserted-by":"publisher","DOI":"10.1109\/HICSS.2005.296"},{"journal-title":"The Art of Computer Systems Performance Analysis","year":"2008","author":"jain","key":"13"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1145\/1188895.1188909"},{"key":"11","doi-asserted-by":"crossref","first-page":"145","DOI":"10.1007\/s10710-006-9003-9","article-title":"Using genetic algorithms for early schedulability analysis and stress testing in real-time systems","volume":"7","author":"briand","year":"2006","journal-title":"Genetic Programming and Evolvable Machines"},{"journal-title":"Trends in Constraint Programming","year":"2010","author":"benhamou","key":"12"},{"journal-title":"The OPL Optimization Programming Language","year":"1999","author":"van hentenryck","key":"21"},{"key":"20","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511615320"},{"key":"22","article-title":"The deadline misses constraints in ILOG solver v2","author":"di alesio","year":"2013","journal-title":"Tech Rep"},{"key":"23","first-page":"129","article-title":"From high-level modelling of time in MARTE to real-time scheduling analysis","author":"peraldi-frati","year":"2008","journal-title":"ACESMB"},{"key":"24","doi-asserted-by":"publisher","DOI":"10.1109\/ISORC.2011.28"},{"key":"25","doi-asserted-by":"publisher","DOI":"10.1109\/ICAS.2006.53"},{"journal-title":"Generic Avionics Software Specification","year":"1990","author":"locke","key":"26"},{"key":"27","doi-asserted-by":"crossref","first-page":"175","DOI":"10.1007\/978-3-642-16561-0_21","article-title":"Schedulability analysis using UPPAAL: Herschel-Planck case study","author":"mikuc?ionis","year":"2010","journal-title":"Leveraging Applications of Formal Methods Verification and Validation"},{"key":"28","doi-asserted-by":"publisher","DOI":"10.1145\/1985793.1985795"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1145\/1134285.1134504"},{"journal-title":"Real-Time Systems Design Principles for Distributed Embedded Applications","year":"2011","author":"kopetz","key":"2"},{"journal-title":"Software Testing Techniques","year":"2002","author":"beizer","key":"10"},{"journal-title":"Software for Dependable Systems Sufficient Evidence?","year":"2007","author":"jackson","key":"1"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1201\/9781420067859-c4"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1016\/0165-6074(94)90080-9"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1007\/BF02341920"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1109\/32.888628"},{"key":"9","doi-asserted-by":"crossref","first-page":"759","DOI":"10.1007\/978-3-642-33666-9_48","article-title":"Modeling and analysis of cpu usage in safety-critical embedded systems to support stress testing","author":"nejati","year":"2012","journal-title":"Model Driven Engineering Languages and Systems"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1109\/LICS.1990.113766"}],"event":{"name":"2013 IEEE 24th International Symposium on Software Reliability Engineering (ISSRE)","start":{"date-parts":[[2013,11,4]]},"location":"Pasadena, CA, USA","end":{"date-parts":[[2013,11,7]]}},"container-title":["2013 IEEE 24th International Symposium on Software Reliability Engineering (ISSRE)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6689494\/6698873\/06698915.pdf?arnumber=6698915","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,5,22]],"date-time":"2024-05-22T16:02:21Z","timestamp":1716393741000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6698915\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,11]]},"references-count":28,"URL":"https:\/\/doi.org\/10.1109\/issre.2013.6698915","relation":{},"subject":[],"published":{"date-parts":[[2013,11]]}}}