{"id":"https://openalex.org/W2106072518","doi":"https://doi.org/10.1145/2642937.2642999","title":"Verifying self-adaptive applications suffering uncertainty","display_name":"Verifying self-adaptive applications suffering uncertainty","publication_year":2014,"publication_date":"2014-09-15","ids":{"openalex":"https://openalex.org/W2106072518","doi":"https://doi.org/10.1145/2642937.2642999","mag":"2106072518"},"language":"en","primary_location":{"id":"doi:10.1145/2642937.2642999","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2642937.2642999","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 29th ACM/IEEE International Conference on Automated Software Engineering","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"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/A5101786651","display_name":"Wenhua Yang","orcid":"https://orcid.org/0000-0003-0396-5994"},"institutions":[{"id":"https://openalex.org/I881766915","display_name":"Nanjing University","ror":"https://ror.org/01rxvg760","country_code":"CN","type":"education","lineage":["https://openalex.org/I881766915"]}],"countries":["CN"],"is_corresponding":true,"raw_author_name":"Wenhua Yang","raw_affiliation_strings":["Nanjing University, Nanjing, China"],"affiliations":[{"raw_affiliation_string":"Nanjing University, Nanjing, China","institution_ids":["https://openalex.org/I881766915"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5052203980","display_name":"Chang Xu","orcid":"https://orcid.org/0000-0002-6299-4704"},"institutions":[{"id":"https://openalex.org/I881766915","display_name":"Nanjing University","ror":"https://ror.org/01rxvg760","country_code":"CN","type":"education","lineage":["https://openalex.org/I881766915"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Chang Xu","raw_affiliation_strings":["Nanjing University, Nanjing, China"],"affiliations":[{"raw_affiliation_string":"Nanjing University, Nanjing, China","institution_ids":["https://openalex.org/I881766915"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5084868951","display_name":"Yepang Liu","orcid":"https://orcid.org/0000-0001-8147-8126"},"institutions":[{"id":"https://openalex.org/I200769079","display_name":"Hong Kong University of Science and Technology","ror":"https://ror.org/00q4vv597","country_code":"HK","type":"education","lineage":["https://openalex.org/I200769079"]}],"countries":["HK"],"is_corresponding":false,"raw_author_name":"Yepang Liu","raw_affiliation_strings":["Hong Kong University of Science and Technology, Hong Kong, China"],"affiliations":[{"raw_affiliation_string":"Hong Kong University of Science and Technology, Hong Kong, China","institution_ids":["https://openalex.org/I200769079"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5039338981","display_name":"Chun Cao","orcid":"https://orcid.org/0009-0009-3207-4059"},"institutions":[{"id":"https://openalex.org/I881766915","display_name":"Nanjing University","ror":"https://ror.org/01rxvg760","country_code":"CN","type":"education","lineage":["https://openalex.org/I881766915"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Chun Cao","raw_affiliation_strings":["Nanjing University, Nanjing, China"],"affiliations":[{"raw_affiliation_string":"Nanjing University, Nanjing, China","institution_ids":["https://openalex.org/I881766915"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5041674680","display_name":"Xiaoxing Ma","orcid":"https://orcid.org/0000-0001-7970-1384"},"institutions":[{"id":"https://openalex.org/I881766915","display_name":"Nanjing University","ror":"https://ror.org/01rxvg760","country_code":"CN","type":"education","lineage":["https://openalex.org/I881766915"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Xiaoxing Ma","raw_affiliation_strings":["Nanjing University, Nanjing, China"],"affiliations":[{"raw_affiliation_string":"Nanjing University, Nanjing, China","institution_ids":["https://openalex.org/I881766915"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5037645622","display_name":"Jian L\u00fc","orcid":"https://orcid.org/0000-0002-7025-7448"},"institutions":[{"id":"https://openalex.org/I881766915","display_name":"Nanjing University","ror":"https://ror.org/01rxvg760","country_code":"CN","type":"education","lineage":["https://openalex.org/I881766915"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Jian Lu","raw_affiliation_strings":["Nanjing University, Nanjing, China"],"affiliations":[{"raw_affiliation_string":"Nanjing University, Nanjing, China","institution_ids":["https://openalex.org/I881766915"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":6,"corresponding_author_ids":["https://openalex.org/A5101786651"],"corresponding_institution_ids":["https://openalex.org/I881766915"],"apc_list":null,"apc_paid":null,"fwci":3.272,"has_fulltext":false,"cited_by_count":29,"citation_normalized_percentile":{"value":0.93037544,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":89,"max":99},"biblio":{"volume":null,"issue":null,"first_page":"199","last_page":"210"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.9986000061035156,"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"}},"topics":[{"id":"https://openalex.org/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.9986000061035156,"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"}},{"id":"https://openalex.org/T10260","display_name":"Software Engineering Research","score":0.9957000017166138,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"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/T11241","display_name":"Advanced Malware Detection Techniques","score":0.9919000267982483,"subfield":{"id":"https://openalex.org/subfields/1711","display_name":"Signal Processing"},"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/counterexample","display_name":"Counterexample","score":0.9108109474182129},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7071551084518433},{"id":"https://openalex.org/keywords/adaptation","display_name":"Adaptation (eye)","score":0.6401252150535583},{"id":"https://openalex.org/keywords/work","display_name":"Work (physics)","score":0.4489535391330719},{"id":"https://openalex.org/keywords/measurement-uncertainty","display_name":"Measurement uncertainty","score":0.41264617443084717},{"id":"https://openalex.org/keywords/uncertainty-quantification","display_name":"Uncertainty quantification","score":0.4123998284339905},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.347881019115448},{"id":"https://openalex.org/keywords/mathematical-optimization","display_name":"Mathematical optimization","score":0.32238930463790894},{"id":"https://openalex.org/keywords/machine-learning","display_name":"Machine learning","score":0.23721233010292053},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.15249842405319214},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.10385063290596008}],"concepts":[{"id":"https://openalex.org/C162838799","wikidata":"https://www.wikidata.org/wiki/Q596077","display_name":"Counterexample","level":2,"score":0.9108109474182129},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7071551084518433},{"id":"https://openalex.org/C139807058","wikidata":"https://www.wikidata.org/wiki/Q352374","display_name":"Adaptation (eye)","level":2,"score":0.6401252150535583},{"id":"https://openalex.org/C18762648","wikidata":"https://www.wikidata.org/wiki/Q42213","display_name":"Work (physics)","level":2,"score":0.4489535391330719},{"id":"https://openalex.org/C137209882","wikidata":"https://www.wikidata.org/wiki/Q1403517","display_name":"Measurement uncertainty","level":2,"score":0.41264617443084717},{"id":"https://openalex.org/C32230216","wikidata":"https://www.wikidata.org/wiki/Q7882499","display_name":"Uncertainty quantification","level":2,"score":0.4123998284339905},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.347881019115448},{"id":"https://openalex.org/C126255220","wikidata":"https://www.wikidata.org/wiki/Q141495","display_name":"Mathematical optimization","level":1,"score":0.32238930463790894},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.23721233010292053},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.15249842405319214},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.10385063290596008},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0},{"id":"https://openalex.org/C120665830","wikidata":"https://www.wikidata.org/wiki/Q14620","display_name":"Optics","level":1,"score":0.0},{"id":"https://openalex.org/C78519656","wikidata":"https://www.wikidata.org/wiki/Q101333","display_name":"Mechanical engineering","level":1,"score":0.0},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.0},{"id":"https://openalex.org/C105795698","wikidata":"https://www.wikidata.org/wiki/Q12483","display_name":"Statistics","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1145/2642937.2642999","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2642937.2642999","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 29th ACM/IEEE International Conference on Automated Software Engineering","raw_type":"proceedings-article"},{"id":"pmh:oai:repository.hkust.edu.hk:1783.1-64646","is_oa":false,"landing_page_url":"http://www.scopus.com/record/display.url?eid=2-s2.0-84908608579&origin=inward","pdf_url":null,"source":{"id":"https://openalex.org/S4306401796","display_name":"Rare & Special e-Zone (The Hong Kong University of Science and Technology)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I200769079","host_organization_name":"Hong Kong University of Science and Technology","host_organization_lineage":["https://openalex.org/I200769079"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"Conference paper"}],"best_oa_location":null,"sustainable_development_goals":[{"score":0.6100000143051147,"id":"https://metadata.un.org/sdg/15","display_name":"Life in Land"}],"awards":[{"id":"https://openalex.org/G2875531352","display_name":null,"funder_award_id":"61100038","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G4722731998","display_name":null,"funder_award_id":"91318301","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G6667581590","display_name":null,"funder_award_id":"61321491","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G6791565110","display_name":null,"funder_award_id":"2013AA01A213","funder_id":"https://openalex.org/F4320321540","funder_display_name":"Ministry of Science and Technology of the People's Republic of China"},{"id":"https://openalex.org/G869193804","display_name":null,"funder_award_id":"61361120097","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"}],"funders":[{"id":"https://openalex.org/F4320306076","display_name":"National Science Foundation","ror":"https://ror.org/021nxhr62"},{"id":"https://openalex.org/F4320321001","display_name":"National Natural Science Foundation of China","ror":"https://ror.org/01h0zpd94"},{"id":"https://openalex.org/F4320321540","display_name":"Ministry of Science and Technology of the People's Republic of China","ror":"https://ror.org/027s68j25"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":39,"referenced_works":["https://openalex.org/W1480909796","https://openalex.org/W1510131813","https://openalex.org/W1539705164","https://openalex.org/W1668140416","https://openalex.org/W1680397247","https://openalex.org/W1983963690","https://openalex.org/W2001179292","https://openalex.org/W2003258198","https://openalex.org/W2006857389","https://openalex.org/W2018538061","https://openalex.org/W2028369901","https://openalex.org/W2033406822","https://openalex.org/W2034822942","https://openalex.org/W2036293656","https://openalex.org/W2042423765","https://openalex.org/W2044683878","https://openalex.org/W2051712055","https://openalex.org/W2057807303","https://openalex.org/W2064831234","https://openalex.org/W2071616717","https://openalex.org/W2104504797","https://openalex.org/W2106417311","https://openalex.org/W2107998578","https://openalex.org/W2112669449","https://openalex.org/W2115774534","https://openalex.org/W2116769849","https://openalex.org/W2120729378","https://openalex.org/W2121061989","https://openalex.org/W2125061093","https://openalex.org/W2126622671","https://openalex.org/W2128371808","https://openalex.org/W2142486130","https://openalex.org/W2144780749","https://openalex.org/W2148128686","https://openalex.org/W2151622326","https://openalex.org/W2159168482","https://openalex.org/W2167952208","https://openalex.org/W2168208806","https://openalex.org/W3141976039"],"related_works":["https://openalex.org/W2349952486","https://openalex.org/W1489260687","https://openalex.org/W2775700832","https://openalex.org/W3204670144","https://openalex.org/W2163101548","https://openalex.org/W1988934358","https://openalex.org/W2587222766","https://openalex.org/W4389574038","https://openalex.org/W4387718369","https://openalex.org/W3014450817"],"abstract_inverted_index":{"Self-adaptive":[0],"applications":[1,71,87],"address":[2,60],"environmental":[3,15,45,76,95,145],"dynamics":[4,16],"systematically.":[5],"They":[6],"can":[7],"be":[8],"faulty":[9],"and":[10,31,88,97,120,137],"exhibit":[11],"runtime":[12],"errors":[13],"when":[14,25],"are":[17],"not":[18,42,134],"considered":[19],"adequately.":[20],"It":[21,78,99],"becomes":[22],"more":[23,131],"severe":[24],"uncertainty":[26,73],"exists":[27],"in":[28,74],"their":[29,75,109],"sensing":[30],"adaptation":[32],"to":[33,52,68,108],"environments.":[34],"Existing":[35],"work":[36],"verifies":[37,89],"self-adaptive":[38,70,118],"applications,":[39,119],"but":[40],"does":[41],"explicitly":[43],"consider":[44],"constraints":[46,96],"or":[47],"uncertainty.":[48,98],"This":[49],"gives":[50],"rise":[51],"inaccurate":[53],"verification":[54,102],"results.":[55],"In":[56],"this":[57,61],"paper,":[58],"we":[59],"problem":[62],"by":[63,104,143],"proposing":[64],"a":[65],"novel":[66],"approach":[67,115,128],"verifying":[69],"suffering":[72],"interactions.":[77],"builds":[79],"Interactive":[80],"State":[81],"Machine":[82],"(ISM)":[83],"models":[84],"for":[85],"such":[86],"them":[90],"with":[91,116],"explicit":[92],"consideration":[93],"of":[94],"then":[100],"refines":[101],"results":[103,123],"prioritizing":[105],"counterexamples":[106,132,141],"according":[107],"probabilities.":[110],"We":[111],"experimentally":[112],"evaluated":[113],"our":[114],"real-life":[117],"the":[121],"experimental":[122],"confirmed":[124],"its":[125],"effectiveness.":[126],"Our":[127],"reported":[129],"200-660%":[130],"than":[133],"considering":[135],"uncertainty,":[136],"eliminated":[138],"all":[139],"false":[140],"caused":[142],"ignoring":[144],"constraints.":[146]},"counts_by_year":[{"year":2024,"cited_by_count":2},{"year":2023,"cited_by_count":1},{"year":2022,"cited_by_count":4},{"year":2021,"cited_by_count":1},{"year":2020,"cited_by_count":1},{"year":2019,"cited_by_count":8},{"year":2018,"cited_by_count":4},{"year":2017,"cited_by_count":6},{"year":2015,"cited_by_count":2}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}