{"id":"https://openalex.org/W3036671498","doi":"https://doi.org/10.1109/access.2020.3003087","title":"Runtime Monitoring of Software Execution Trace: Method and Tools","display_name":"Runtime Monitoring of Software Execution Trace: Method and Tools","publication_year":2020,"publication_date":"2020-01-01","ids":{"openalex":"https://openalex.org/W3036671498","doi":"https://doi.org/10.1109/access.2020.3003087","mag":"3036671498"},"language":"en","primary_location":{"id":"doi:10.1109/access.2020.3003087","is_oa":true,"landing_page_url":"https://doi.org/10.1109/access.2020.3003087","pdf_url":"https://ieeexplore.ieee.org/ielx7/6287639/8948470/09119396.pdf","source":{"id":"https://openalex.org/S2485537415","display_name":"IEEE Access","issn_l":"2169-3536","issn":["2169-3536"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Access","raw_type":"journal-article"},"type":"article","indexed_in":["crossref","doaj"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://ieeexplore.ieee.org/ielx7/6287639/8948470/09119396.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5039090898","display_name":"Shiyi Kong","orcid":"https://orcid.org/0000-0002-8925-6306"},"institutions":[{"id":"https://openalex.org/I82880672","display_name":"Beihang University","ror":"https://ror.org/00wk2mp56","country_code":"CN","type":"education","lineage":["https://openalex.org/I82880672"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Shiyi Kong","raw_affiliation_strings":["Key Laboratory on Reliability and Environmental Engineering Technology, Beihang University, Beijing, China","School of Reliability and System Engineering, Beihang University, Beijing, China"],"raw_orcid":"https://orcid.org/0000-0002-8925-6306","affiliations":[{"raw_affiliation_string":"Key Laboratory on Reliability and Environmental Engineering Technology, Beihang University, Beijing, China","institution_ids":["https://openalex.org/I82880672"]},{"raw_affiliation_string":"School of Reliability and System Engineering, Beihang University, Beijing, China","institution_ids":["https://openalex.org/I82880672"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5112122845","display_name":"Minyan Lu","orcid":null},"institutions":[{"id":"https://openalex.org/I82880672","display_name":"Beihang University","ror":"https://ror.org/00wk2mp56","country_code":"CN","type":"education","lineage":["https://openalex.org/I82880672"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Minyan Lu","raw_affiliation_strings":["Key Laboratory on Reliability and Environmental Engineering Technology, Beihang University, Beijing, China","School of Reliability and System Engineering, Beihang University, Beijing, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Key Laboratory on Reliability and Environmental Engineering Technology, Beihang University, Beijing, China","institution_ids":["https://openalex.org/I82880672"]},{"raw_affiliation_string":"School of Reliability and System Engineering, Beihang University, Beijing, China","institution_ids":["https://openalex.org/I82880672"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5101697238","display_name":"Luyi Li","orcid":"https://orcid.org/0000-0002-6873-3169"},"institutions":[{"id":"https://openalex.org/I2800372957","display_name":"China Electronics Technology Group Corporation","ror":"https://ror.org/0098hst83","country_code":"CN","type":"company","lineage":["https://openalex.org/I2800372957"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Luyi Li","raw_affiliation_strings":["China Academy of Electronics and Information Technology, China Electronics Technology Group Corporation, Beijing, China"],"raw_orcid":"https://orcid.org/0000-0002-6873-3169","affiliations":[{"raw_affiliation_string":"China Academy of Electronics and Information Technology, China Electronics Technology Group Corporation, Beijing, China","institution_ids":["https://openalex.org/I2800372957"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5044816185","display_name":"Lihua Gao","orcid":"https://orcid.org/0000-0002-9559-5283"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Lihua Gao","raw_affiliation_strings":["China North Vehicle Research Institute, Beijing, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"China North Vehicle Research Institute, Beijing, China","institution_ids":[]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":{"value":1850,"currency":"USD","value_usd":1850},"apc_paid":{"value":1850,"currency":"USD","value_usd":1850},"fwci":0.5965,"has_fulltext":true,"cited_by_count":8,"citation_normalized_percentile":{"value":0.68871692,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":94,"max":97},"biblio":{"volume":"8","issue":null,"first_page":"114020","last_page":"114036"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T12423","display_name":"Software Reliability and Analysis Research","score":0.9998999834060669,"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/T12423","display_name":"Software Reliability and Analysis Research","score":0.9998999834060669,"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/T10260","display_name":"Software Engineering Research","score":0.9994000196456909,"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/T12127","display_name":"Software System Performance and Reliability","score":0.9991999864578247,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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.8160873651504517},{"id":"https://openalex.org/keywords/software-construction","display_name":"Software construction","score":0.5458661317825317},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.5428658723831177},{"id":"https://openalex.org/keywords/verification-and-validation","display_name":"Verification and validation","score":0.5290975570678711},{"id":"https://openalex.org/keywords/software-visualization","display_name":"Software visualization","score":0.4959894120693207},{"id":"https://openalex.org/keywords/runtime-verification","display_name":"Runtime verification","score":0.49210256338119507},{"id":"https://openalex.org/keywords/software-verification","display_name":"Software verification","score":0.4791271388530731},{"id":"https://openalex.org/keywords/software-framework","display_name":"Software framework","score":0.478848934173584},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.47586601972579956},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.44721508026123047},{"id":"https://openalex.org/keywords/software-development","display_name":"Software development","score":0.4390289783477783},{"id":"https://openalex.org/keywords/source-code","display_name":"Source code","score":0.4365256428718567},{"id":"https://openalex.org/keywords/software-system","display_name":"Software system","score":0.43491053581237793},{"id":"https://openalex.org/keywords/avionics-software","display_name":"Avionics software","score":0.4327012002468109},{"id":"https://openalex.org/keywords/software-sizing","display_name":"Software sizing","score":0.41776758432388306},{"id":"https://openalex.org/keywords/trace","display_name":"TRACE (psycholinguistics)","score":0.4118824899196625},{"id":"https://openalex.org/keywords/software-quality","display_name":"Software quality","score":0.41082990169525146},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.2601511478424072},{"id":"https://openalex.org/keywords/formal-verification","display_name":"Formal verification","score":0.10477423667907715}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8160873651504517},{"id":"https://openalex.org/C186846655","wikidata":"https://www.wikidata.org/wiki/Q3398377","display_name":"Software construction","level":4,"score":0.5458661317825317},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.5428658723831177},{"id":"https://openalex.org/C48002344","wikidata":"https://www.wikidata.org/wiki/Q2919644","display_name":"Verification and validation","level":2,"score":0.5290975570678711},{"id":"https://openalex.org/C4379982","wikidata":"https://www.wikidata.org/wiki/Q1273511","display_name":"Software visualization","level":5,"score":0.4959894120693207},{"id":"https://openalex.org/C202973057","wikidata":"https://www.wikidata.org/wiki/Q7380130","display_name":"Runtime verification","level":3,"score":0.49210256338119507},{"id":"https://openalex.org/C33054407","wikidata":"https://www.wikidata.org/wiki/Q6504747","display_name":"Software verification","level":5,"score":0.4791271388530731},{"id":"https://openalex.org/C76518257","wikidata":"https://www.wikidata.org/wiki/Q271680","display_name":"Software framework","level":5,"score":0.478848934173584},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.47586601972579956},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.44721508026123047},{"id":"https://openalex.org/C529173508","wikidata":"https://www.wikidata.org/wiki/Q638608","display_name":"Software development","level":3,"score":0.4390289783477783},{"id":"https://openalex.org/C43126263","wikidata":"https://www.wikidata.org/wiki/Q128751","display_name":"Source code","level":2,"score":0.4365256428718567},{"id":"https://openalex.org/C149091818","wikidata":"https://www.wikidata.org/wiki/Q2429814","display_name":"Software system","level":3,"score":0.43491053581237793},{"id":"https://openalex.org/C109905503","wikidata":"https://www.wikidata.org/wiki/Q4828920","display_name":"Avionics software","level":5,"score":0.4327012002468109},{"id":"https://openalex.org/C201515116","wikidata":"https://www.wikidata.org/wiki/Q7554363","display_name":"Software sizing","level":5,"score":0.41776758432388306},{"id":"https://openalex.org/C75291252","wikidata":"https://www.wikidata.org/wiki/Q1315756","display_name":"TRACE (psycholinguistics)","level":2,"score":0.4118824899196625},{"id":"https://openalex.org/C117447612","wikidata":"https://www.wikidata.org/wiki/Q1412670","display_name":"Software quality","level":4,"score":0.41082990169525146},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.2601511478424072},{"id":"https://openalex.org/C111498074","wikidata":"https://www.wikidata.org/wiki/Q173326","display_name":"Formal verification","level":2,"score":0.10477423667907715},{"id":"https://openalex.org/C41895202","wikidata":"https://www.wikidata.org/wiki/Q8162","display_name":"Linguistics","level":1,"score":0.0},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.0},{"id":"https://openalex.org/C105795698","wikidata":"https://www.wikidata.org/wiki/Q12483","display_name":"Statistics","level":1,"score":0.0},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1109/access.2020.3003087","is_oa":true,"landing_page_url":"https://doi.org/10.1109/access.2020.3003087","pdf_url":"https://ieeexplore.ieee.org/ielx7/6287639/8948470/09119396.pdf","source":{"id":"https://openalex.org/S2485537415","display_name":"IEEE Access","issn_l":"2169-3536","issn":["2169-3536"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Access","raw_type":"journal-article"},{"id":"pmh:oai:doaj.org/article:060c857c123e4f68a2ce70fc5042818d","is_oa":true,"landing_page_url":"https://doaj.org/article/060c857c123e4f68a2ce70fc5042818d","pdf_url":null,"source":{"id":"https://openalex.org/S4306401280","display_name":"DOAJ (DOAJ: Directory of Open Access Journals)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by-sa","license_id":"https://openalex.org/licenses/cc-by-sa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"IEEE Access, Vol 8, Pp 114020-114036 (2020)","raw_type":"article"}],"best_oa_location":{"id":"doi:10.1109/access.2020.3003087","is_oa":true,"landing_page_url":"https://doi.org/10.1109/access.2020.3003087","pdf_url":"https://ieeexplore.ieee.org/ielx7/6287639/8948470/09119396.pdf","source":{"id":"https://openalex.org/S2485537415","display_name":"IEEE Access","issn_l":"2169-3536","issn":["2169-3536"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Access","raw_type":"journal-article"},"sustainable_development_goals":[{"display_name":"Industry, innovation and infrastructure","score":0.47999998927116394,"id":"https://metadata.un.org/sdg/9"}],"awards":[],"funders":[],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W3036671498.pdf","grobid_xml":"https://content.openalex.org/works/W3036671498.grobid-xml"},"referenced_works_count":63,"referenced_works":["https://openalex.org/W6568356","https://openalex.org/W55327735","https://openalex.org/W165943180","https://openalex.org/W913091180","https://openalex.org/W1516506771","https://openalex.org/W1536674025","https://openalex.org/W1552908270","https://openalex.org/W1576866974","https://openalex.org/W1593942753","https://openalex.org/W1608927965","https://openalex.org/W1630932300","https://openalex.org/W1740522204","https://openalex.org/W1791175619","https://openalex.org/W1893433911","https://openalex.org/W1970657598","https://openalex.org/W1980609459","https://openalex.org/W1986033227","https://openalex.org/W1989432433","https://openalex.org/W1992055950","https://openalex.org/W1998490923","https://openalex.org/W2007177299","https://openalex.org/W2012582139","https://openalex.org/W2027680510","https://openalex.org/W2030145186","https://openalex.org/W2045159786","https://openalex.org/W2048327004","https://openalex.org/W2056047125","https://openalex.org/W2058667955","https://openalex.org/W2067544274","https://openalex.org/W2074977643","https://openalex.org/W2075086909","https://openalex.org/W2078356878","https://openalex.org/W2079887492","https://openalex.org/W2097331548","https://openalex.org/W2099397123","https://openalex.org/W2100716485","https://openalex.org/W2101623441","https://openalex.org/W2107389085","https://openalex.org/W2113986000","https://openalex.org/W2118202954","https://openalex.org/W2118962824","https://openalex.org/W2138916466","https://openalex.org/W2151688527","https://openalex.org/W2156629984","https://openalex.org/W2157739289","https://openalex.org/W2158584720","https://openalex.org/W2160146193","https://openalex.org/W2160614176","https://openalex.org/W2170541359","https://openalex.org/W2273763794","https://openalex.org/W2380424647","https://openalex.org/W2460107372","https://openalex.org/W2512266566","https://openalex.org/W2564753503","https://openalex.org/W2754321116","https://openalex.org/W2887911288","https://openalex.org/W2901690220","https://openalex.org/W3145806289","https://openalex.org/W6634611326","https://openalex.org/W6636300415","https://openalex.org/W6676093697","https://openalex.org/W6683332776","https://openalex.org/W6683564133"],"related_works":["https://openalex.org/W2528673213","https://openalex.org/W2613073864","https://openalex.org/W2809618173","https://openalex.org/W1583523918","https://openalex.org/W2967277443","https://openalex.org/W1873717324","https://openalex.org/W2901580792","https://openalex.org/W3036403349","https://openalex.org/W4289286833","https://openalex.org/W2955025277"],"abstract_inverted_index":{"As":[0],"with":[1,81],"the":[2,99,104,113,134,160,182,202,224,227],"extensive":[3],"use":[4],"of":[5,106,226],"complex":[6,59],"software":[7,18,42,49,60,74,82,86,94,100,135,161],"in":[8,25],"many":[9],"fields,":[10],"such":[11],"as":[12],"finance,":[13],"transportation,":[14],"aeronautics,":[15],"and":[16,36,51,85,116,153],"astronautics,":[17],"plays":[19],"an":[20,121,127],"increasingly":[21,38],"more":[22],"important":[23],"role":[24],"society.":[26],"Software":[27],"reliability":[28,35],"becomes":[29],"a":[30,72,165,205,215],"critical":[31],"bottleneck":[32],"for":[33],"system":[34],"draws":[37],"greater":[39],"attention":[40],"from":[41],"engineers.":[43],"Many":[44],"researchers":[45],"find":[46],"that":[47,78,97,192],"traditional":[48],"verification":[50,84],"validation":[52],"techniques":[53],"are":[54],"not":[55],"sufficient":[56],"to":[57,92,111,132,171,188,196,210,222],"ensure":[58],"reliability,":[61],"especially":[62],"after":[63],"being":[64],"deployed.":[65],"In":[66],"this":[67,107,142],"paper,":[68],"therefore,":[69],"we":[70],"propose":[71],"novel":[73],"runtime":[75,83,101,154,166,173],"monitoring":[76,145,177],"method":[77,90,108,123],"can":[79,147,156,193],"help":[80],"failure":[87],"prediction.":[88],"This":[89],"aims":[91],"monitor":[93],"execution":[95,162],"trace":[96],"reveal":[98],"status.":[102],"First,":[103],"framework":[105],"is":[109,139,169,186,208,220],"proposed":[110,170,209,228],"introduce":[112],"entire":[114],"process":[115],"two":[117],"key":[118],"problems.":[119],"Second,":[120],"instrumentation":[122,143],"based":[124],"on":[125,201,218],"srcML,":[126],"open":[128],"source":[129,151],"tool":[130],"used":[131,187,195,221],"extract":[133],"abstract":[136],"syntax":[137],"tree,":[138],"presented.":[140],"By":[141],"technique,":[144],"code":[146,152],"be":[148,157,194],"inserted":[149],"into":[150],"data":[155,174,190],"exported":[158,175],"during":[159],"process.":[163],"Then,":[164],"data-collection":[167],"technique":[168],"collect":[172],"by":[176],"code.":[178],"On":[179],"one":[180],"hand,":[181],"file":[183],"stream":[184],"mechanism":[185],"export":[189],"files":[191],"support":[197,211],"offline":[198],"analysis,":[199],"while":[200],"other":[203],"hand":[204],"client-server":[206],"structure":[207],"online":[212],"analysis.":[213],"Finally,":[214],"case":[216],"study":[217],"Nginx":[219],"show":[223],"feasibility":[225],"method.":[229]},"counts_by_year":[{"year":2025,"cited_by_count":3},{"year":2024,"cited_by_count":3},{"year":2023,"cited_by_count":2}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}