{"id":"https://openalex.org/W2082299789","doi":"https://doi.org/10.1109/issre.2013.6698915","title":"Stress testing of task deadlines: A constraint programming approach","display_name":"Stress testing of task deadlines: A constraint programming approach","publication_year":2013,"publication_date":"2013-11-01","ids":{"openalex":"https://openalex.org/W2082299789","doi":"https://doi.org/10.1109/issre.2013.6698915","mag":"2082299789"},"language":"en","primary_location":{"id":"doi:10.1109/issre.2013.6698915","is_oa":false,"landing_page_url":"https://doi.org/10.1109/issre.2013.6698915","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2013 IEEE 24th International Symposium on Software Reliability Engineering (ISSRE)","raw_type":"proceedings-article"},"type":"conference-paper","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"http://orbilu.uni.lu/handle/10993/4901","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5082066211","display_name":"Stefano Di Alesio","orcid":"https://orcid.org/0000-0002-4627-8011"},"institutions":[{"id":"https://openalex.org/I2799829267","display_name":"Simula Research Laboratory","ror":"https://ror.org/00vn06n10","country_code":"NO","type":"facility","lineage":["https://openalex.org/I2799829267"]}],"countries":["NO"],"is_corresponding":false,"raw_author_name":"Stefano Di Alesio","raw_affiliation_strings":["Certus Centre for Software Verification & Validation, Simula Research Laboratory, Norway","Certus Centre for Software Verification & Validation, Simula Res. Lab., Oslo, Norway"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Certus Centre for Software Verification & Validation, Simula Research Laboratory, Norway","institution_ids":["https://openalex.org/I2799829267"]},{"raw_affiliation_string":"Certus Centre for Software Verification & Validation, Simula Res. Lab., Oslo, Norway","institution_ids":["https://openalex.org/I2799829267"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5074393374","display_name":"Shiva Nejati","orcid":"https://orcid.org/0000-0002-0281-8231"},"institutions":[{"id":"https://openalex.org/I186903577","display_name":"University of Luxembourg","ror":"https://ror.org/036x5ad56","country_code":"LU","type":"education","lineage":["https://openalex.org/I186903577"]}],"countries":["LU"],"is_corresponding":false,"raw_author_name":"Shiva Nejati","raw_affiliation_strings":["Security and Trust (SnT), University of Luxembourg, Luxembourg","Interdiscipl. Centre for Reliability, Security & Trust (SnT), Univ. of Luxembourg, Luxembourg, Luxembourg"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Security and Trust (SnT), University of Luxembourg, Luxembourg","institution_ids":["https://openalex.org/I186903577"]},{"raw_affiliation_string":"Interdiscipl. Centre for Reliability, Security & Trust (SnT), Univ. of Luxembourg, Luxembourg, Luxembourg","institution_ids":["https://openalex.org/I186903577"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5078533117","display_name":"Lionel Briand","orcid":"https://orcid.org/0000-0002-1393-1010"},"institutions":[{"id":"https://openalex.org/I186903577","display_name":"University of Luxembourg","ror":"https://ror.org/036x5ad56","country_code":"LU","type":"education","lineage":["https://openalex.org/I186903577"]}],"countries":["LU"],"is_corresponding":false,"raw_author_name":"Lionel Briand","raw_affiliation_strings":["Security and Trust (SnT), University of Luxembourg, Luxembourg","Interdiscipl. Centre for Reliability, Security & Trust (SnT), Univ. of Luxembourg, Luxembourg, Luxembourg"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Security and Trust (SnT), University of Luxembourg, Luxembourg","institution_ids":["https://openalex.org/I186903577"]},{"raw_affiliation_string":"Interdiscipl. Centre for Reliability, Security & Trust (SnT), Univ. of Luxembourg, Luxembourg, Luxembourg","institution_ids":["https://openalex.org/I186903577"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5013313145","display_name":"Arnaud Gotlieb","orcid":"https://orcid.org/0000-0002-8980-7585"},"institutions":[{"id":"https://openalex.org/I2799829267","display_name":"Simula Research Laboratory","ror":"https://ror.org/00vn06n10","country_code":"NO","type":"facility","lineage":["https://openalex.org/I2799829267"]}],"countries":["NO"],"is_corresponding":false,"raw_author_name":"Arnaud Gotlieb","raw_affiliation_strings":["Certus Centre for Software Verification & Validation, Simula Research Laboratory, Norway","Certus Centre for Software Verification & Validation, Simula Res. Lab., Oslo, Norway"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Certus Centre for Software Verification & Validation, Simula Research Laboratory, Norway","institution_ids":["https://openalex.org/I2799829267"]},{"raw_affiliation_string":"Certus Centre for Software Verification & Validation, Simula Res. Lab., Oslo, Norway","institution_ids":["https://openalex.org/I2799829267"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":1.9726,"has_fulltext":false,"cited_by_count":21,"citation_normalized_percentile":{"value":0.86454984,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":98},"biblio":{"volume":"7","issue":null,"first_page":"158","last_page":"167"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10933","display_name":"Real-Time Systems Scheduling","score":0.9993000030517578,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10933","display_name":"Real-Time Systems Scheduling","score":0.9993000030517578,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9980000257492065,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.9959999918937683,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7912498712539673},{"id":"https://openalex.org/keywords/scalability","display_name":"Scalability","score":0.6936444044113159},{"id":"https://openalex.org/keywords/task","display_name":"Task (project management)","score":0.63962721824646},{"id":"https://openalex.org/keywords/constraint","display_name":"Constraint (computer-aided design)","score":0.567164421081543},{"id":"https://openalex.org/keywords/constraint-programming","display_name":"Constraint programming","score":0.47346678376197815},{"id":"https://openalex.org/keywords/execution-time","display_name":"Execution time","score":0.4505397379398346},{"id":"https://openalex.org/keywords/time-constraint","display_name":"Time constraint","score":0.4273533225059509},{"id":"https://openalex.org/keywords/genetic-algorithm","display_name":"Genetic algorithm","score":0.4115734100341797},{"id":"https://openalex.org/keywords/mathematical-optimization","display_name":"Mathematical optimization","score":0.31526273488998413},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.299193799495697},{"id":"https://openalex.org/keywords/machine-learning","display_name":"Machine learning","score":0.1908021867275238},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.09596291184425354}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7912498712539673},{"id":"https://openalex.org/C48044578","wikidata":"https://www.wikidata.org/wiki/Q727490","display_name":"Scalability","level":2,"score":0.6936444044113159},{"id":"https://openalex.org/C2780451532","wikidata":"https://www.wikidata.org/wiki/Q759676","display_name":"Task (project management)","level":2,"score":0.63962721824646},{"id":"https://openalex.org/C2776036281","wikidata":"https://www.wikidata.org/wiki/Q48769818","display_name":"Constraint (computer-aided design)","level":2,"score":0.567164421081543},{"id":"https://openalex.org/C173404611","wikidata":"https://www.wikidata.org/wiki/Q528588","display_name":"Constraint programming","level":3,"score":0.47346678376197815},{"id":"https://openalex.org/C2989134064","wikidata":"https://www.wikidata.org/wiki/Q288510","display_name":"Execution time","level":2,"score":0.4505397379398346},{"id":"https://openalex.org/C2775907273","wikidata":"https://www.wikidata.org/wiki/Q7805281","display_name":"Time constraint","level":2,"score":0.4273533225059509},{"id":"https://openalex.org/C8880873","wikidata":"https://www.wikidata.org/wiki/Q187787","display_name":"Genetic algorithm","level":2,"score":0.4115734100341797},{"id":"https://openalex.org/C126255220","wikidata":"https://www.wikidata.org/wiki/Q141495","display_name":"Mathematical optimization","level":1,"score":0.31526273488998413},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.299193799495697},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.1908021867275238},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.09596291184425354},{"id":"https://openalex.org/C137631369","wikidata":"https://www.wikidata.org/wiki/Q7617831","display_name":"Stochastic programming","level":2,"score":0.0},{"id":"https://openalex.org/C162324750","wikidata":"https://www.wikidata.org/wiki/Q8134","display_name":"Economics","level":0,"score":0.0},{"id":"https://openalex.org/C187736073","wikidata":"https://www.wikidata.org/wiki/Q2920921","display_name":"Management","level":1,"score":0.0},{"id":"https://openalex.org/C77088390","wikidata":"https://www.wikidata.org/wiki/Q8513","display_name":"Database","level":1,"score":0.0},{"id":"https://openalex.org/C17744445","wikidata":"https://www.wikidata.org/wiki/Q36442","display_name":"Political science","level":0,"score":0.0},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0},{"id":"https://openalex.org/C199539241","wikidata":"https://www.wikidata.org/wiki/Q7748","display_name":"Law","level":1,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1109/issre.2013.6698915","is_oa":false,"landing_page_url":"https://doi.org/10.1109/issre.2013.6698915","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2013 IEEE 24th International Symposium on Software Reliability Engineering (ISSRE)","raw_type":"proceedings-article"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.591.2975","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.591.2975","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://simula.no/publications/Simula.simula.2128/simula_pdf_file/","raw_type":"text"},{"id":"pmh:oai:orbilu.uni.lu:10993/4901","is_oa":true,"landing_page_url":"http://orbilu.uni.lu/handle/10993/4901","pdf_url":null,"source":{"id":"https://openalex.org/S4306401815","display_name":"Open Repository and Bibliography (University of Luxembourg)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I186903577","host_organization_name":"University of Luxembourg","host_organization_lineage":["https://openalex.org/I186903577"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by-nc-sa","license_id":"https://openalex.org/licenses/cc-by-nc-sa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"The 24th IEEE International Symposium on Software Reliability Engineering (ISSRE 2013), Pasadena, CA, November 2013. (2013).","raw_type":null}],"best_oa_location":{"id":"pmh:oai:orbilu.uni.lu:10993/4901","is_oa":true,"landing_page_url":"http://orbilu.uni.lu/handle/10993/4901","pdf_url":null,"source":{"id":"https://openalex.org/S4306401815","display_name":"Open Repository and Bibliography (University of Luxembourg)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I186903577","host_organization_name":"University of Luxembourg","host_organization_lineage":["https://openalex.org/I186903577"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by-nc-sa","license_id":"https://openalex.org/licenses/cc-by-nc-sa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"The 24th IEEE International Symposium on Software Reliability Engineering (ISSRE 2013), Pasadena, CA, November 2013. (2013).","raw_type":null},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":31,"referenced_works":["https://openalex.org/W116292536","https://openalex.org/W203659713","https://openalex.org/W1224547023","https://openalex.org/W1482632800","https://openalex.org/W1488202922","https://openalex.org/W1496940124","https://openalex.org/W1583056777","https://openalex.org/W1605177295","https://openalex.org/W1733489975","https://openalex.org/W1910771831","https://openalex.org/W1936851409","https://openalex.org/W1978687257","https://openalex.org/W1982695538","https://openalex.org/W1982958147","https://openalex.org/W2052671997","https://openalex.org/W2089335052","https://openalex.org/W2109926023","https://openalex.org/W2117182850","https://openalex.org/W2120683063","https://openalex.org/W2125965646","https://openalex.org/W2138428785","https://openalex.org/W2142909298","https://openalex.org/W2148208903","https://openalex.org/W2153439859","https://openalex.org/W2162556696","https://openalex.org/W2163931728","https://openalex.org/W2165172064","https://openalex.org/W2167315396","https://openalex.org/W2570030068","https://openalex.org/W2917634273","https://openalex.org/W4252976664"],"related_works":["https://openalex.org/W4291309325","https://openalex.org/W2950474130","https://openalex.org/W2064309607","https://openalex.org/W2737452945","https://openalex.org/W1547011777","https://openalex.org/W2263461846","https://openalex.org/W1514706798","https://openalex.org/W1985899403","https://openalex.org/W3200670168","https://openalex.org/W4313469555"],"abstract_inverted_index":{"Safety-critical":[0],"Real":[1],"Time":[2],"Embedded":[3],"Systems":[4],"(RT-ESs)":[5],"are":[6,91,195],"usually":[7],"subject":[8],"to":[9,22,43,53,81,186,211],"strict":[10],"timing":[11,64,212],"and":[12,58,117,126,136,183,197],"performance":[13],"requirements":[14,65],"that":[15,60,88,174,192],"must":[16],"be":[17,23,51,187],"satisfied":[18],"for":[19,123,204],"the":[20,55,83,134,181],"system":[21],"deemed":[24],"safe.":[25],"In":[26,112],"this":[27,199],"paper,":[28],"we":[29,72,114,190],"use":[30],"effective":[31],"search":[32,160,182],"strategies":[33],"whose":[34],"goal":[35],"is":[36,163,200],"finding":[37],"worst":[38,68],"case":[39,69,121,139],"scenarios":[40,47],"with":[41,103,209],"respect":[42,210],"deadline":[44,95],"misses.":[45,96],"Such":[46],"can":[48],"in":[49,119],"turn":[50],"used":[52],"test":[54,86],"target":[56],"RTES":[57],"ensure":[59],"it":[61,99,156,169],"satisfies":[62],"its":[63],"even":[66],"under":[67],"conditions.":[70],"Specifically,":[71],"develop":[73],"an":[74,201],"approach":[75,106,203],"based":[76,107],"on":[77,108,133,172,180],"Constraint":[78],"Programming":[79],"(CP)":[80],"automate":[82],"generation":[84],"of":[85,207],"cases":[87],"reveal,":[89],"or":[90],"likely":[92],"to,":[93],"task":[94],"We":[97],"evaluate":[98],"through":[100],"a":[101,104,158,177],"comparison":[102],"state-of-the-art":[105],"Genetic":[109],"Algorithms":[110],"(GA).":[111],"particular,":[113],"compare":[115],"CP":[116,141,148],"GA":[118],"five":[120],"studies":[122],"efficiency,":[124],"effectiveness,":[125],"scalability.":[127],"Our":[128],"experimental":[129],"results":[130,194],"show":[131],"that,":[132],"largest":[135],"more":[137],"complex":[138],"studies,":[140],"performs":[142],"significantly":[143],"better":[144],"than":[145],"GA.":[146],"Furthermore,":[147],"offers":[149],"some":[150],"advantages":[151],"over":[152],"GA,":[153],"such":[154],"as":[155],"guarantees":[157],"complete":[159],"when":[161],"there":[162],"sufficient":[164],"time,":[165],"and,":[166],"being":[167],"deterministic,":[168],"doesn't":[170],"rely":[171],"parameters":[173],"potentially":[175],"have":[176],"significant":[178],"effect":[179],"therefore":[184],"need":[185],"tuned.":[188],"Hence,":[189],"conclude":[191],"our":[193],"encouraging":[196],"suggest":[198],"advantageous":[202],"stress":[205],"testing":[206],"RTESs":[208],"constraints.":[213]},"counts_by_year":[{"year":2024,"cited_by_count":1},{"year":2022,"cited_by_count":1},{"year":2019,"cited_by_count":1},{"year":2018,"cited_by_count":3},{"year":2017,"cited_by_count":4},{"year":2016,"cited_by_count":5},{"year":2015,"cited_by_count":1},{"year":2014,"cited_by_count":5}],"updated_date":"2026-07-29T14:22:42.915294","created_date":"2025-10-10T00:00:00"}