{"id":"https://openalex.org/W863372212","doi":null,"title":"Automatically generated runtime checks for design-level constraints","display_name":"Automatically generated runtime checks for design-level constraints","publication_year":2010,"publication_date":"2010-01-01","ids":{"openalex":"https://openalex.org/W863372212","mag":"863372212"},"language":"en","primary_location":{"id":"pmh:oai:doc.rero.ch:20100413101607-JD","doi":null,"is_oa":false,"landing_page_url":"http://doc.rero.ch/record/17991/files/2010INFO002.pdf","pdf_url":"http://doc.rero.ch/record/17991/files/2010INFO002.pdf","source":{"id":"https://openalex.org/S4306400148","display_name":"reroDoc Digital Library","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I67311998","host_organization_name":"European Organization for Nuclear Research","host_organization_lineage":["https://openalex.org/I67311998"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":null},"volume":null,"type":"article","is_traditional":true,"indexed_in":[],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5061591906","display_name":"Jochen Wuttke","orcid":null,"observed_orcids":[]},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Jochen Wuttke","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":["https://openalex.org/A5061591906"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":2,"citation_normalized_percentile":{"value":0.0,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":88,"max":93},"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.9032999873161316,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"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/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.9032999873161316,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"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.03519999980926514,"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/T10743","display_name":"Software Testing and Debugging Techniques","score":0.024700000882148743,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"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/runtime-monitoring","display_name":"runtime monitoring","score":0.8730000257492065},{"id":"https://openalex.org/keywords/runtime-verification","display_name":"runtime verification","score":0.9350000023841858},{"id":"https://openalex.org/keywords/component-based-software-systems","display_name":"component-based software systems","score":0.8859999775886536},{"id":"https://openalex.org/keywords/service-oriented-software","display_name":"service-oriented software","score":0.6970000267028809},{"id":"https://openalex.org/keywords/run-time-checks","display_name":"run-time checks","score":0.597000002861023},{"id":"https://openalex.org/keywords/failure-classification","display_name":"failure classification","score":0.5249999761581421},{"id":"https://openalex.org/keywords/design-patterns","display_name":"design patterns","score":0.7080000042915344},{"id":"https://openalex.org/keywords/specification-languages","display_name":"specification languages","score":0.7910000085830688},{"id":"https://openalex.org/keywords/software-quality-assurance","display_name":"software quality assurance","score":0.5299999713897705}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7782692313194275},{"id":"https://openalex.org/C202973057","wikidata":"https://www.wikidata.org/wiki/Q7380130","display_name":"Runtime verification","level":3,"score":0.6666727066040039},{"id":"https://openalex.org/C168167062","wikidata":"https://www.wikidata.org/wiki/Q1117970","display_name":"Component (thermodynamics)","level":2,"score":0.5949546694755554},{"id":"https://openalex.org/C105339364","wikidata":"https://www.wikidata.org/wiki/Q2297740","display_name":"Software deployment","level":2,"score":0.5768148303031921},{"id":"https://openalex.org/C174683762","wikidata":"https://www.wikidata.org/wiki/Q609588","display_name":"Component-based software engineering","level":4,"score":0.5127926468849182},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.45624345541000366},{"id":"https://openalex.org/C113843644","wikidata":"https://www.wikidata.org/wiki/Q901882","display_name":"Interface (matter)","level":4,"score":0.4527686834335327},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.4520341455936432},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.44660642743110657},{"id":"https://openalex.org/C2776969324","wikidata":"https://www.wikidata.org/wiki/Q613918","display_name":"Software quality assurance","level":5,"score":0.4324291944503784},{"id":"https://openalex.org/C149091818","wikidata":"https://www.wikidata.org/wiki/Q2429814","display_name":"Software system","level":3,"score":0.41230645775794983},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.39164063334465027},{"id":"https://openalex.org/C529173508","wikidata":"https://www.wikidata.org/wiki/Q638608","display_name":"Software development","level":3,"score":0.35960352420806885},{"id":"https://openalex.org/C117447612","wikidata":"https://www.wikidata.org/wiki/Q1412670","display_name":"Software quality","level":4,"score":0.33712148666381836},{"id":"https://openalex.org/C111498074","wikidata":"https://www.wikidata.org/wiki/Q173326","display_name":"Formal verification","level":2,"score":0.2875590920448303},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.26664066314697266},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.12432113289833069},{"id":"https://openalex.org/C129307140","wikidata":"https://www.wikidata.org/wiki/Q6795880","display_name":"Maximum bubble pressure method","level":3,"score":0.0},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0},{"id":"https://openalex.org/C157915830","wikidata":"https://www.wikidata.org/wiki/Q2928001","display_name":"Bubble","level":2,"score":0.0},{"id":"https://openalex.org/C97355855","wikidata":"https://www.wikidata.org/wiki/Q11473","display_name":"Thermodynamics","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"pmh:oai:doc.rero.ch:20100413101607-JD","doi":null,"is_oa":false,"landing_page_url":"http://doc.rero.ch/record/17991/files/2010INFO002.pdf","pdf_url":"http://doc.rero.ch/record/17991/files/2010INFO002.pdf","source":{"id":"https://openalex.org/S4306400148","display_name":"reroDoc Digital Library","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I67311998","host_organization_name":"European Organization for Nuclear Research","host_organization_lineage":["https://openalex.org/I67311998"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":null},{"id":"mag:863372212","doi":null,"is_oa":false,"landing_page_url":"http://doc.rero.ch/record/17991/files/2010INFO002.pdf","pdf_url":null,"source":null,"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":null}],"best_oa_location":null,"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":66,"referenced_works":["https://openalex.org/W111619882","https://openalex.org/W1510845095","https://openalex.org/W1524053243","https://openalex.org/W1557824269","https://openalex.org/W1583826417","https://openalex.org/W1597549781","https://openalex.org/W1649645444","https://openalex.org/W1875956924","https://openalex.org/W1959256509","https://openalex.org/W1976247299","https://openalex.org/W1978303100","https://openalex.org/W1979868167","https://openalex.org/W1980702991","https://openalex.org/W1986137020","https://openalex.org/W1990911977","https://openalex.org/W1991999918","https://openalex.org/W1996832037","https://openalex.org/W2003373522","https://openalex.org/W2004723750","https://openalex.org/W2013261777","https://openalex.org/W2018261325","https://openalex.org/W2023886997","https://openalex.org/W2025381809","https://openalex.org/W2035362408","https://openalex.org/W2054921215","https://openalex.org/W2059677325","https://openalex.org/W2060291526","https://openalex.org/W2073407646","https://openalex.org/W2096973649","https://openalex.org/W2099546962","https://openalex.org/W2103906579","https://openalex.org/W2104301421","https://openalex.org/W2107232214","https://openalex.org/W2110137598","https://openalex.org/W2114178685","https://openalex.org/W2115484804","https://openalex.org/W2116844130","https://openalex.org/W2119249385","https://openalex.org/W2123586642","https://openalex.org/W2124000414","https://openalex.org/W2124378517","https://openalex.org/W2125614502","https://openalex.org/W2127228682","https://openalex.org/W2129360963","https://openalex.org/W2133943294","https://openalex.org/W2134716336","https://openalex.org/W2135858107","https://openalex.org/W2135868037","https://openalex.org/W2136286495","https://openalex.org/W2136887998","https://openalex.org/W2137956345","https://openalex.org/W2138916466","https://openalex.org/W2140991542","https://openalex.org/W2145071552","https://openalex.org/W2145867204","https://openalex.org/W2149679864","https://openalex.org/W2150593762","https://openalex.org/W2156428492","https://openalex.org/W2157598010","https://openalex.org/W2161825580","https://openalex.org/W2163784380","https://openalex.org/W2164122643","https://openalex.org/W2167868895","https://openalex.org/W2171737499","https://openalex.org/W2762588455","https://openalex.org/W3146075203"],"related_works":["https://openalex.org/W7061660039","https://openalex.org/W1987764656","https://openalex.org/W2043996829","https://openalex.org/W2766301302","https://openalex.org/W1492366453","https://openalex.org/W2939316520","https://openalex.org/W2795602444","https://openalex.org/W3092334662","https://openalex.org/W1527124318","https://openalex.org/W2809588530"],"abstract_inverted_index":{"In":[0],"recent":[1],"years,":[2],"component-":[3],"and":[4,16,26,31,68,91,112,119,135,167,171,257,349,371],"service-orientation":[5],"has":[6,18,148],"gained":[7],"importance":[8],"as":[9,300],"the":[10,20,29,49,63,69,131,153,174,226,302,343,362,368,372,375],"new":[11,37],"paradigm":[12],"in":[13,53,79,315,346,380],"software":[14,199,331],"engineering,":[15],"it":[17,128],"introduced":[19],"challenge":[21],"of":[22,39,65,74,124,133,155,169,197,239,261,283,294,367,374],"dynamic":[23,41],"component":[24],"look-up":[25],"binding":[27],"into":[28],"validation":[30],"verification":[32,161],"process.":[33],"This":[34,99,187],"introduces":[35],"a":[36,207,281,326,330,338,350],"class":[38],"inherently":[40],"properties":[42,184,196,202,285,345,370],"that":[43,94,127,137,211,232,244,258,286],"have":[44],"to":[45,88,97,149,177,242,248,266,317,341,355],"be":[46,213,264,288],"verified":[47],"when":[48,103,206],"system":[50],"is":[51,101,126,189,231,280,305,324,337,378],"running":[52],"its":[54],"target":[55],"environment":[56],"rather":[57,328],"than":[58,329],"at":[59,139,157],"development":[60,118,140],"time.":[61],"Additionally,":[62],"separation":[64],"interface":[66],"specification":[67,339],"implementation":[70,323],"combined":[71],"with":[72],"uses":[73],"Application":[75],"Programming":[76],"Interfaces":[77],"(API)":[78],"contexts":[80],"not":[81,115,181],"envisioned":[82],"by":[83,215,221,254,290],"their":[84,322],"developers":[85],"often":[86],"lead":[87,241],"subtle":[89],"faults":[90],"consequent":[92],"failures":[93,243,252,262],"are":[95,107,114,185,234,313],"hard":[96],"diagnose.":[98],"problem":[100],"exacerbated":[102],"components":[104,219],"or":[105,180],"services":[106],"bound":[108],"dynamically":[109],"during":[110,117],"deployment,":[111],"hence":[113],"known":[116],"testing.":[120],"One":[121],"important":[122],"implication":[123],"this":[125,274,276],"significantly":[129],"limits":[130],"assurance":[132,147],"quality":[134,146],"reliability":[136],"testing":[138],"time":[141],"can":[142,263,287],"give.":[143],"Consequently,":[144],"more":[145],"take":[150],"place":[151],"after":[152],"deployment":[154],"systems":[156,170],"runtime.":[158],"Most":[159],"runtime":[160,191,269,309,359],"techniques":[162],"rely":[163],"on":[164,273],"monitoring":[165,192,270],"state":[166],"behavior":[168],"reasoning":[172],"over":[173],"measured":[175],"data":[176],"verify":[178],"whether":[179],"pre-":[182],"defined":[183],"maintained.":[186],"dissertation":[188],"about":[190],"for":[193,204,308,361],"structural":[194],"design-level":[195,236,284],"component-based":[198],"systems.":[200],"Such":[201],"arise":[203],"example":[205],"framework":[208],"imposes":[209],"requirements":[210],"must":[212],"met":[214],"all":[216],"components,":[217],"including":[218],"developed":[220],"third":[222,335],"parties,":[223],"connected":[224],"within":[225],"framework.":[227],"The":[228,334,365],"working":[229],"hypothesis":[230],"there":[233],"useful":[235],"properties,":[237],"violations":[238],"which":[240],"exhibit":[245],"enough":[246],"commonalities":[247],"distinguish":[249],"them":[250],"from":[251],"caused":[253],"other":[255],"defects,":[256],"these":[259,297],"clusters":[260],"exploited":[265],"define":[267],"reusable":[268],"mechanisms.":[271],"Based":[272],"hypothesis,":[275],"dissertation's":[277],"first":[278],"contribution":[279,304,336],"set":[282],"identified":[289,344,369],"clearly":[291],"distinct":[292],"classes":[293,299],"failure.":[295],"Using":[296],"failure":[298],"guideline,":[301],"second":[303],"defining":[306],"templates":[307,312],"monitors.":[310],"These":[311],"similar":[314],"spirit":[316],"design":[318,332,347],"patterns,":[319],"even":[320],"though":[321],"solving":[325],"monitoring,":[327],"problem.":[333],"language":[340],"express":[342],"models,":[348],"tool":[351],"processing":[352],"such":[353],"models":[354],"automatically":[356],"generate":[357],"effective":[358],"monitors":[360,377],"specified":[363],"properties.":[364],"applicability":[366],"effectiveness":[373],"generated":[376],"assessed":[379],"several":[381],"case":[382],"studies.":[383]},"counts_by_year":[{"year":2023,"cited_by_count":1},{"year":2014,"cited_by_count":1}],"updated_date":"2026-11-14T11:04:58.165337","created_date":"2016-06-24T00:00:00"}