{"id":"https://openalex.org/W4362576811","doi":"https://doi.org/10.1080/09540091.2023.2192442","title":"Analyzing execution path non-determinism of the Linux kernel in different scenarios","display_name":"Analyzing execution path non-determinism of the Linux kernel in different scenarios","publication_year":2023,"publication_date":"2023-04-03","ids":{"openalex":"https://openalex.org/W4362576811","doi":"https://doi.org/10.1080/09540091.2023.2192442"},"language":"en","primary_location":{"id":"doi:10.1080/09540091.2023.2192442","is_oa":true,"landing_page_url":"https://doi.org/10.1080/09540091.2023.2192442","pdf_url":"https://www.tandfonline.com/doi/pdf/10.1080/09540091.2023.2192442?needAccess=true&role=button","source":{"id":"https://openalex.org/S4210188800","display_name":"Connection Science","issn_l":"0954-0091","issn":["0954-0091","1360-0494"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310320547","host_organization_name":"Taylor & Francis","host_organization_lineage":["https://openalex.org/P4310320547"],"host_organization_lineage_names":["Taylor & Francis"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Connection Science","raw_type":"journal-article"},"type":"article","indexed_in":["crossref","doaj"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://www.tandfonline.com/doi/pdf/10.1080/09540091.2023.2192442?needAccess=true&role=button","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5002430915","display_name":"Yucong Chen","orcid":"https://orcid.org/0000-0003-0555-9199"},"institutions":[{"id":"https://openalex.org/I19820366","display_name":"Chinese Academy of Sciences","ror":"https://ror.org/034t30j35","country_code":"CN","type":"government","lineage":["https://openalex.org/I19820366"]},{"id":"https://openalex.org/I4210131271","display_name":"Institute of Modern Physics","ror":"https://ror.org/03x8rhq63","country_code":"CN","type":"facility","lineage":["https://openalex.org/I19820366","https://openalex.org/I4210131271"]},{"id":"https://openalex.org/I76214153","display_name":"Lanzhou University","ror":"https://ror.org/01mkqqe32","country_code":"CN","type":"education","lineage":["https://openalex.org/I76214153"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Yucong Chen","raw_affiliation_strings":["Institute of Modern Physics, Chinese Academy of Sciences, Lanzhou, People's Republic of China","School of Information Science and Engineering, Lanzhou University, Lanzhou, People's Republic of China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Institute of Modern Physics, Chinese Academy of Sciences, Lanzhou, People's Republic of China","institution_ids":["https://openalex.org/I4210131271","https://openalex.org/I19820366"]},{"raw_affiliation_string":"School of Information Science and Engineering, Lanzhou University, Lanzhou, People's Republic of China","institution_ids":["https://openalex.org/I76214153"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5025345003","display_name":"Xianzhi Tang","orcid":"https://orcid.org/0000-0001-8887-4789"},"institutions":[{"id":"https://openalex.org/I76214153","display_name":"Lanzhou University","ror":"https://ror.org/01mkqqe32","country_code":"CN","type":"education","lineage":["https://openalex.org/I76214153"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Xianzhi Tang","raw_affiliation_strings":["School of Information Science and Engineering, Lanzhou University, Lanzhou, People's Republic of China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"School of Information Science and Engineering, Lanzhou University, Lanzhou, People's Republic of China","institution_ids":["https://openalex.org/I76214153"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5024702918","display_name":"Shuaixin Xu","orcid":"https://orcid.org/0009-0003-9488-2947"},"institutions":[{"id":"https://openalex.org/I76214153","display_name":"Lanzhou University","ror":"https://ror.org/01mkqqe32","country_code":"CN","type":"education","lineage":["https://openalex.org/I76214153"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Shuaixin Xu","raw_affiliation_strings":["School of Information Science and Engineering, Lanzhou University, Lanzhou, People's Republic of China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"School of Information Science and Engineering, Lanzhou University, Lanzhou, People's Republic of China","institution_ids":["https://openalex.org/I76214153"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5102494981","display_name":"Fangfang Zhu","orcid":null},"institutions":[{"id":"https://openalex.org/I19820366","display_name":"Chinese Academy of Sciences","ror":"https://ror.org/034t30j35","country_code":"CN","type":"government","lineage":["https://openalex.org/I19820366"]},{"id":"https://openalex.org/I4210131271","display_name":"Institute of Modern Physics","ror":"https://ror.org/03x8rhq63","country_code":"CN","type":"facility","lineage":["https://openalex.org/I19820366","https://openalex.org/I4210131271"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Fangfang Zhu","raw_affiliation_strings":["Institute of Modern Physics, Chinese Academy of Sciences, Lanzhou, People's Republic of China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Institute of Modern Physics, Chinese Academy of Sciences, Lanzhou, People's Republic of China","institution_ids":["https://openalex.org/I4210131271","https://openalex.org/I19820366"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5113979790","display_name":"Qingguo Zhou","orcid":null},"institutions":[{"id":"https://openalex.org/I76214153","display_name":"Lanzhou University","ror":"https://ror.org/01mkqqe32","country_code":"CN","type":"education","lineage":["https://openalex.org/I76214153"]}],"countries":["CN"],"is_corresponding":true,"raw_author_name":"Qingguo Zhou","raw_affiliation_strings":["School of Information Science and Engineering, Lanzhou University, Lanzhou, People's Republic of China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"School of Information Science and Engineering, Lanzhou University, Lanzhou, People's Republic of China","institution_ids":["https://openalex.org/I76214153"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5067675188","display_name":"Tien\u2010Hsiung Weng","orcid":"https://orcid.org/0000-0003-3244-4127"},"institutions":[{"id":"https://openalex.org/I177918364","display_name":"Providence University","ror":"https://ror.org/03fcpsq87","country_code":"TW","type":"education","lineage":["https://openalex.org/I177918364"]}],"countries":["TW"],"is_corresponding":true,"raw_author_name":"Tien-Hsiung Weng","raw_affiliation_strings":["Dept. of Computer Science and Information Engr. (CSIE), Providence University, Taichung, Taiwan"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Dept. of Computer Science and Information Engr. (CSIE), Providence University, Taichung, Taiwan","institution_ids":["https://openalex.org/I177918364"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":6,"corresponding_author_ids":["https://openalex.org/A5067675188","https://openalex.org/A5113979790"],"corresponding_institution_ids":["https://openalex.org/I177918364","https://openalex.org/I76214153"],"apc_list":{"value":1270,"currency":"USD","value_usd":1270},"apc_paid":{"value":1270,"currency":"USD","value_usd":1270},"fwci":0.7353,"has_fulltext":true,"cited_by_count":4,"citation_normalized_percentile":{"value":0.6766126,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":97},"biblio":{"volume":"35","issue":"1","first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11241","display_name":"Advanced Malware Detection Techniques","score":0.9835000038146973,"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"}},"topics":[{"id":"https://openalex.org/T11241","display_name":"Advanced Malware Detection Techniques","score":0.9835000038146973,"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"}},{"id":"https://openalex.org/T12127","display_name":"Software System Performance and Reliability","score":0.9832000136375427,"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"}},{"id":"https://openalex.org/T11424","display_name":"Security and Verification in Computing","score":0.9717000126838684,"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.8517096042633057},{"id":"https://openalex.org/keywords/linux-kernel","display_name":"Linux kernel","score":0.7679591178894043},{"id":"https://openalex.org/keywords/file-system","display_name":"File system","score":0.6661607027053833},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.6652687191963196},{"id":"https://openalex.org/keywords/system-call","display_name":"System call","score":0.6484465599060059},{"id":"https://openalex.org/keywords/user-space","display_name":"User space","score":0.43374159932136536},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.41506949067115784},{"id":"https://openalex.org/keywords/function","display_name":"Function (biology)","score":0.410264253616333},{"id":"https://openalex.org/keywords/embedded-system","display_name":"Embedded system","score":0.33831000328063965}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8517096042633057},{"id":"https://openalex.org/C553261973","wikidata":"https://www.wikidata.org/wiki/Q14579","display_name":"Linux kernel","level":2,"score":0.7679591178894043},{"id":"https://openalex.org/C2780940931","wikidata":"https://www.wikidata.org/wiki/Q174989","display_name":"File system","level":2,"score":0.6661607027053833},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.6652687191963196},{"id":"https://openalex.org/C2778579508","wikidata":"https://www.wikidata.org/wiki/Q722192","display_name":"System call","level":2,"score":0.6484465599060059},{"id":"https://openalex.org/C2775877400","wikidata":"https://www.wikidata.org/wiki/Q1142183","display_name":"User space","level":2,"score":0.43374159932136536},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.41506949067115784},{"id":"https://openalex.org/C14036430","wikidata":"https://www.wikidata.org/wiki/Q3736076","display_name":"Function (biology)","level":2,"score":0.410264253616333},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.33831000328063965},{"id":"https://openalex.org/C78458016","wikidata":"https://www.wikidata.org/wiki/Q840400","display_name":"Evolutionary biology","level":1,"score":0.0},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1080/09540091.2023.2192442","is_oa":true,"landing_page_url":"https://doi.org/10.1080/09540091.2023.2192442","pdf_url":"https://www.tandfonline.com/doi/pdf/10.1080/09540091.2023.2192442?needAccess=true&role=button","source":{"id":"https://openalex.org/S4210188800","display_name":"Connection Science","issn_l":"0954-0091","issn":["0954-0091","1360-0494"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310320547","host_organization_name":"Taylor & Francis","host_organization_lineage":["https://openalex.org/P4310320547"],"host_organization_lineage_names":["Taylor & Francis"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Connection Science","raw_type":"journal-article"},{"id":"pmh:oai:doaj.org/article:540d8935d0e3436eaa237b7d051d4c8e","is_oa":true,"landing_page_url":"https://doaj.org/article/540d8935d0e3436eaa237b7d051d4c8e","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":"Connection Science, Vol 35, Iss 1 (2023)","raw_type":"article"}],"best_oa_location":{"id":"doi:10.1080/09540091.2023.2192442","is_oa":true,"landing_page_url":"https://doi.org/10.1080/09540091.2023.2192442","pdf_url":"https://www.tandfonline.com/doi/pdf/10.1080/09540091.2023.2192442?needAccess=true&role=button","source":{"id":"https://openalex.org/S4210188800","display_name":"Connection Science","issn_l":"0954-0091","issn":["0954-0091","1360-0494"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310320547","host_organization_name":"Taylor & Francis","host_organization_lineage":["https://openalex.org/P4310320547"],"host_organization_lineage_names":["Taylor & Francis"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Connection Science","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G1771802064","display_name":null,"funder_award_id":"lzujbky-2021-sp43","funder_id":"https://openalex.org/F4320335787","funder_display_name":"Fundamental Research Funds for the Central Universities"},{"id":"https://openalex.org/G2847039660","display_name":null,"funder_award_id":"2020YFC0832500","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G3488592339","display_name":null,"funder_award_id":"lzujbky-2022-kb12","funder_id":"https://openalex.org/F4320335787","funder_display_name":"Fundamental Research Funds for the Central Universities"},{"id":"https://openalex.org/G4905308571","display_name":null,"funder_award_id":"61402210","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G631846909","display_name":null,"funder_award_id":"lzujbky-2022","funder_id":"https://openalex.org/F4320335787","funder_display_name":"Fundamental Research Funds for the Central Universities"},{"id":"https://openalex.org/G6760281492","display_name":null,"funder_award_id":"2020YFC0832500","funder_id":"https://openalex.org/F4320335777","funder_display_name":"National Key Research and Development Program of China"}],"funders":[{"id":"https://openalex.org/F4320321001","display_name":"National Natural Science Foundation of China","ror":"https://ror.org/01h0zpd94"},{"id":"https://openalex.org/F4320335777","display_name":"National Key Research and Development Program of China","ror":null},{"id":"https://openalex.org/F4320335787","display_name":"Fundamental Research Funds for the Central Universities","ror":null}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4362576811.pdf","grobid_xml":"https://content.openalex.org/works/W4362576811.grobid-xml"},"referenced_works_count":32,"referenced_works":["https://openalex.org/W132594803","https://openalex.org/W1853871913","https://openalex.org/W2105321788","https://openalex.org/W2120175495","https://openalex.org/W2293628079","https://openalex.org/W2527889688","https://openalex.org/W2915541671","https://openalex.org/W2916086000","https://openalex.org/W2933232996","https://openalex.org/W2942839242","https://openalex.org/W2983749871","https://openalex.org/W2989750065","https://openalex.org/W2992046967","https://openalex.org/W3092416673","https://openalex.org/W3119033286","https://openalex.org/W3128035894","https://openalex.org/W3177545773","https://openalex.org/W3185522626","https://openalex.org/W3207935656","https://openalex.org/W3209021646","https://openalex.org/W3209752914","https://openalex.org/W3214884829","https://openalex.org/W4200261781","https://openalex.org/W4205360675","https://openalex.org/W4206614401","https://openalex.org/W4226203364","https://openalex.org/W4250685322","https://openalex.org/W4282971700","https://openalex.org/W4286622383","https://openalex.org/W4299143440","https://openalex.org/W4308079991","https://openalex.org/W4312502414"],"related_works":["https://openalex.org/W2377509977","https://openalex.org/W2379000728","https://openalex.org/W2394874479","https://openalex.org/W2488815249","https://openalex.org/W1922733741","https://openalex.org/W2388410831","https://openalex.org/W2913213811","https://openalex.org/W2358779924","https://openalex.org/W2537983160","https://openalex.org/W4362576811"],"abstract_inverted_index":{"Safety-critical":[0],"systems":[1,27,192],"play":[2],"a":[3,57,91],"significant":[4],"role":[5],"in":[6,97,173,197,215,241],"industrial":[7],"domains,":[8],"and":[9,45,132,155,171],"their":[10],"complexity":[11],"is":[12,56,94],"increasing":[13],"with":[14,194],"advanced":[15],"technologies":[16],"such":[17],"as":[18],"Artificial":[19],"Intelligence":[20],"(AI).":[21],"To":[22],"provide":[23,229,246],"efficient":[24],"services,":[25],"safety-critical":[26,73,234,253],"that":[28,178],"integrate":[29],"AI":[30,52],"applications":[31],"are":[32],"always":[33],"built":[34],"based":[35,148],"on":[36,79,121,149,220],"Linux,":[37],"where":[38],"Linux":[39,55,98,122],"offers":[40],"massive":[41],"amounts":[42],"of":[43,90,118,181,185,210,225,251],"features":[44],"an":[46,136],"incredibly":[47],"perfect":[48],"software":[49,60],"ecosystem":[50],"for":[51,70,83,141,231,248],"applications.":[53],"Since":[54],"pre-existing":[58],"complex":[59],"system,":[61],"different":[62,216],"research":[63,114,243],"programmes":[64],"aim":[65],"to":[66,190],"pave":[67],"the":[68,80,87,103,109,116,161,179,186,195,206,211,221,223,238,249],"way":[69],"developing":[71],"Linux-based":[72,233,252],"systems.":[74,218,235,254],"Still,":[75],"only":[76],"some":[77],"focus":[78],"system":[81,92,119,130,133,140,142,153,162,187,198,212],"calls":[82,188],"file":[84,129,152,191,217],"operations.":[85],"However,":[86],"execution":[88,144,164,183,208],"path":[89,124],"call":[93,143,163,213],"effectively":[95],"non-deterministic":[96],"kernel":[99,123],"space,":[100],"which":[101],"challenges":[102],"test":[104],"coverage-based":[105],"verification":[106,250],"recommended":[107],"by":[108],"functional":[110],"safety":[111],"standards.":[112],"This":[113],"analyzes":[115],"influence":[117],"state":[120],"variability":[125],"from":[126],"two":[127],"perspectives:":[128],"type":[131],"load.":[134],"Therefore,":[135],"online":[137],"data":[138,168],"collection":[139],"paths":[145,184,209],"was":[146],"constructed":[147],"Ftrace,":[150],"network":[151],"(NFS),":[154],"MD5":[156],"hash":[157],"function,":[158],"uniquely":[159],"identifying":[160],"path.":[165],"The":[166],"collected":[167],"were":[169],"processed":[170],"analysed":[172],"this":[174,226,242],"study.":[175],"Evaluations":[176],"show":[177],"number":[180],"function":[182,207],"relevant":[189],"increased":[193],"increase":[196],"load":[199],"but":[200],"would":[201],"eventually":[202],"be":[203],"stable.":[204],"Additionally,":[205],"varied":[214],"Based":[219],"evaluations,":[222],"results":[224],"work":[227],"can":[228,244],"advice":[230],"analyzing":[232],"In":[236],"addition,":[237],"method":[239],"introduced":[240],"also":[245],"support":[247]},"counts_by_year":[{"year":2025,"cited_by_count":3},{"year":2024,"cited_by_count":1}],"updated_date":"2026-06-15T08:34:33.830935","created_date":"2025-10-10T00:00:00"}