{"id":"https://openalex.org/W4385607380","doi":"https://doi.org/10.1145/3607538","title":"JMLKelinci+: Detecting Semantic Bugs and Covering Branches with Valid Inputs Using Coverage-guided Fuzzing and Runtime Assertion Checking","display_name":"JMLKelinci+: Detecting Semantic Bugs and Covering Branches with Valid Inputs Using Coverage-guided Fuzzing and Runtime Assertion Checking","publication_year":2023,"publication_date":"2023-08-05","ids":{"openalex":"https://openalex.org/W4385607380","doi":"https://doi.org/10.1145/3607538"},"language":"en","primary_location":{"id":"doi:10.1145/3607538","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3607538","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3607538","source":{"id":"https://openalex.org/S128250343","display_name":"Formal Aspects of Computing","issn_l":"0934-5043","issn":["0934-5043","1433-299X"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Formal Aspects of Computing","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"bronze","oa_url":"https://dl.acm.org/doi/pdf/10.1145/3607538","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5072015993","display_name":"Amirfarhad Nilizadeh","orcid":"https://orcid.org/0000-0001-9031-5599"},"institutions":[{"id":"https://openalex.org/I106165777","display_name":"University of Central Florida","ror":"https://ror.org/036nfer12","country_code":"US","type":"education","lineage":["https://openalex.org/I106165777"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Amirfarhad Nilizadeh","raw_affiliation_strings":["University of Central Florida, Orlando, USA"],"affiliations":[{"raw_affiliation_string":"University of Central Florida, Orlando, USA","institution_ids":["https://openalex.org/I106165777"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5014066009","display_name":"Gary T. Leavens","orcid":"https://orcid.org/0000-0003-3271-3921"},"institutions":[{"id":"https://openalex.org/I106165777","display_name":"University of Central Florida","ror":"https://ror.org/036nfer12","country_code":"US","type":"education","lineage":["https://openalex.org/I106165777"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Gary T. Leavens","raw_affiliation_strings":["University of Central Florida, Orlando, USA"],"affiliations":[{"raw_affiliation_string":"University of Central Florida, Orlando, USA","institution_ids":["https://openalex.org/I106165777"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5053134485","display_name":"Corina S. P\u0103s\u0103reanu","orcid":"https://orcid.org/0000-0002-5579-6961"},"institutions":[{"id":"https://openalex.org/I1280536761","display_name":"Ames Research Center","ror":"https://ror.org/02acart68","country_code":"US","type":"facility","lineage":["https://openalex.org/I1280536761","https://openalex.org/I4210124779"]},{"id":"https://openalex.org/I74973139","display_name":"Carnegie Mellon University","ror":"https://ror.org/05x2bcf33","country_code":"US","type":"education","lineage":["https://openalex.org/I74973139"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Corina S. P\u0103s\u0103reanu","raw_affiliation_strings":["Carnegie Mellon University/NASA Ames Research Center, Moffett Field, USA"],"affiliations":[{"raw_affiliation_string":"Carnegie Mellon University/NASA Ames Research Center, Moffett Field, USA","institution_ids":["https://openalex.org/I1280536761","https://openalex.org/I74973139"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5071232627","display_name":"Yannic Noller","orcid":"https://orcid.org/0000-0002-9318-8027"},"institutions":[{"id":"https://openalex.org/I165932596","display_name":"National University of Singapore","ror":"https://ror.org/01tgyzw49","country_code":"SG","type":"education","lineage":["https://openalex.org/I165932596"]}],"countries":["SG"],"is_corresponding":false,"raw_author_name":"Yannic Noller","raw_affiliation_strings":["National University of Singapore, Singapore"],"affiliations":[{"raw_affiliation_string":"National University of Singapore, Singapore","institution_ids":["https://openalex.org/I165932596"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5072015993"],"corresponding_institution_ids":["https://openalex.org/I106165777"],"apc_list":null,"apc_paid":null,"fwci":0.6475,"has_fulltext":true,"cited_by_count":4,"citation_normalized_percentile":{"value":0.7667304,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":96},"biblio":{"volume":"36","issue":"1","first_page":"1","last_page":"24"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10743","display_name":"Software Testing and Debugging Techniques","score":1.0,"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/T10743","display_name":"Software Testing and Debugging Techniques","score":1.0,"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/T12423","display_name":"Software Reliability and Analysis Research","score":0.9994000196456909,"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/T11005","display_name":"Radiation Effects in Electronics","score":0.9990000128746033,"subfield":{"id":"https://openalex.org/subfields/2208","display_name":"Electrical and Electronic Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/fuzz-testing","display_name":"Fuzz testing","score":0.9174918532371521},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8673499822616577},{"id":"https://openalex.org/keywords/assertion","display_name":"Assertion","score":0.7316641211509705},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.5846707224845886},{"id":"https://openalex.org/keywords/software-bug","display_name":"Software bug","score":0.5362239480018616},{"id":"https://openalex.org/keywords/test-case","display_name":"Test case","score":0.5181125998497009},{"id":"https://openalex.org/keywords/cover","display_name":"Cover (algebra)","score":0.5169869661331177},{"id":"https://openalex.org/keywords/exploit","display_name":"Exploit","score":0.4590453505516052},{"id":"https://openalex.org/keywords/debugging","display_name":"Debugging","score":0.4492262899875641},{"id":"https://openalex.org/keywords/semantics","display_name":"Semantics (computer science)","score":0.4436679780483246},{"id":"https://openalex.org/keywords/crash","display_name":"Crash","score":0.4101078510284424},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.2892087697982788},{"id":"https://openalex.org/keywords/machine-learning","display_name":"Machine learning","score":0.1679072082042694},{"id":"https://openalex.org/keywords/computer-security","display_name":"Computer security","score":0.07294899225234985}],"concepts":[{"id":"https://openalex.org/C111065885","wikidata":"https://www.wikidata.org/wiki/Q1189053","display_name":"Fuzz testing","level":3,"score":0.9174918532371521},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8673499822616577},{"id":"https://openalex.org/C40422974","wikidata":"https://www.wikidata.org/wiki/Q741248","display_name":"Assertion","level":2,"score":0.7316641211509705},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.5846707224845886},{"id":"https://openalex.org/C1009929","wikidata":"https://www.wikidata.org/wiki/Q179550","display_name":"Software bug","level":3,"score":0.5362239480018616},{"id":"https://openalex.org/C128942645","wikidata":"https://www.wikidata.org/wiki/Q1568346","display_name":"Test case","level":3,"score":0.5181125998497009},{"id":"https://openalex.org/C2780428219","wikidata":"https://www.wikidata.org/wiki/Q16952335","display_name":"Cover (algebra)","level":2,"score":0.5169869661331177},{"id":"https://openalex.org/C165696696","wikidata":"https://www.wikidata.org/wiki/Q11287","display_name":"Exploit","level":2,"score":0.4590453505516052},{"id":"https://openalex.org/C168065819","wikidata":"https://www.wikidata.org/wiki/Q845566","display_name":"Debugging","level":2,"score":0.4492262899875641},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.4436679780483246},{"id":"https://openalex.org/C183469790","wikidata":"https://www.wikidata.org/wiki/Q333501","display_name":"Crash","level":2,"score":0.4101078510284424},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.2892087697982788},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.1679072082042694},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.07294899225234985},{"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/C152877465","wikidata":"https://www.wikidata.org/wiki/Q208042","display_name":"Regression analysis","level":2,"score":0.0},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3607538","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3607538","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3607538","source":{"id":"https://openalex.org/S128250343","display_name":"Formal Aspects of Computing","issn_l":"0934-5043","issn":["0934-5043","1433-299X"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Formal Aspects of Computing","raw_type":"journal-article"}],"best_oa_location":{"id":"doi:10.1145/3607538","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3607538","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3607538","source":{"id":"https://openalex.org/S128250343","display_name":"Formal Aspects of Computing","issn_l":"0934-5043","issn":["0934-5043","1433-299X"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Formal Aspects of Computing","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G7221590883","display_name":null,"funder_award_id":"1901136","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"}],"funders":[{"id":"https://openalex.org/F4320306076","display_name":"National Science Foundation","ror":"https://ror.org/021nxhr62"}],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4385607380.pdf","grobid_xml":"https://content.openalex.org/works/W4385607380.grobid-xml"},"referenced_works_count":95,"referenced_works":["https://openalex.org/W858026363","https://openalex.org/W1511405608","https://openalex.org/W1578117164","https://openalex.org/W1583826417","https://openalex.org/W1888172192","https://openalex.org/W1964830323","https://openalex.org/W1965194038","https://openalex.org/W1971650562","https://openalex.org/W1999785511","https://openalex.org/W2011606665","https://openalex.org/W2026750231","https://openalex.org/W2035529004","https://openalex.org/W2038361485","https://openalex.org/W2052363833","https://openalex.org/W2056064357","https://openalex.org/W2061575154","https://openalex.org/W2065948900","https://openalex.org/W2067544274","https://openalex.org/W2072309970","https://openalex.org/W2077359497","https://openalex.org/W2081280627","https://openalex.org/W2090962365","https://openalex.org/W2094160561","https://openalex.org/W2094382938","https://openalex.org/W2097444001","https://openalex.org/W2101512909","https://openalex.org/W2101623441","https://openalex.org/W2103779463","https://openalex.org/W2107709519","https://openalex.org/W2112736324","https://openalex.org/W2113864883","https://openalex.org/W2114957237","https://openalex.org/W2118155805","https://openalex.org/W2121077396","https://openalex.org/W2124877509","https://openalex.org/W2126606154","https://openalex.org/W2129975948","https://openalex.org/W2147002252","https://openalex.org/W2150189917","https://openalex.org/W2156723666","https://openalex.org/W2162120832","https://openalex.org/W2171683519","https://openalex.org/W2343816275","https://openalex.org/W2396983327","https://openalex.org/W2408469942","https://openalex.org/W2466388701","https://openalex.org/W2537787699","https://openalex.org/W2558006590","https://openalex.org/W2565255124","https://openalex.org/W2574017551","https://openalex.org/W2751343396","https://openalex.org/W2769748476","https://openalex.org/W2804618777","https://openalex.org/W2805375386","https://openalex.org/W2805419234","https://openalex.org/W2806377938","https://openalex.org/W2806718802","https://openalex.org/W2806746626","https://openalex.org/W2808820334","https://openalex.org/W2884325678","https://openalex.org/W2884432391","https://openalex.org/W2898192927","https://openalex.org/W2913698492","https://openalex.org/W2915893383","https://openalex.org/W2962200727","https://openalex.org/W2963723316","https://openalex.org/W2963804422","https://openalex.org/W2963934162","https://openalex.org/W2969901236","https://openalex.org/W2980167976","https://openalex.org/W2987907651","https://openalex.org/W2991353706","https://openalex.org/W2998011150","https://openalex.org/W3003678351","https://openalex.org/W3014398650","https://openalex.org/W3024280588","https://openalex.org/W3036452339","https://openalex.org/W3090463400","https://openalex.org/W3091157996","https://openalex.org/W3100164117","https://openalex.org/W3101959408","https://openalex.org/W3103619372","https://openalex.org/W3175392260","https://openalex.org/W3181568802","https://openalex.org/W4210660460","https://openalex.org/W4214931895","https://openalex.org/W4237492309","https://openalex.org/W4245537216","https://openalex.org/W4285242425","https://openalex.org/W4286383581","https://openalex.org/W4300022107","https://openalex.org/W4312877868","https://openalex.org/W4315746341","https://openalex.org/W6745987728","https://openalex.org/W6768488854"],"related_works":["https://openalex.org/W614438062","https://openalex.org/W2740264376","https://openalex.org/W3173990398","https://openalex.org/W4206999239","https://openalex.org/W4205454537","https://openalex.org/W4381785649","https://openalex.org/W4385301282","https://openalex.org/W4226494072","https://openalex.org/W4287849816","https://openalex.org/W2547155723"],"abstract_inverted_index":{"Testing":[0],"to":[1,29,46,62,73,85,116,120,164,204,225,254,280,286],"detect":[2,47,58,76,140,196,226,270],"semantic":[3,25,52,79,108,142,197,227,271],"bugs":[4,59,80,198,228],"is":[5,71,114,162],"essential,":[6],"especially":[7],"for":[8,23,106,169,237],"critical":[9],"systems.":[10],"Coverage-guided":[11],"fuzzing":[12],"(CGF)":[13],"and":[14,137,183,188,195,220,264],"runtime":[15],"assertion":[16],"checking":[17],"(RAC)":[18],"are":[19,104],"two":[20],"well-known":[21],"approaches":[22],"detecting":[24,107],"bugs.":[26,109,176,272],"CGF":[27,39,90,181,248,282],"aims":[28],"generate":[30],"test":[31,147,167,214,259],"inputs":[32,103,168,194,209,263],"with":[33,44,98,192,250,261,293],"high":[34],"code":[35],"coverage.":[36],"However,":[37,127],"while":[38],"tools":[40],"can":[41,55,138,173,189,268],"be":[42],"equipped":[43],"sanitizers":[45],"a":[48,63,86,89,118,134,141,145,170,180,247,281],"fixed":[49],"set":[50],"of":[51,133,179],"bugs,":[53],"they":[54],"otherwise":[56],"only":[57,124,139,207,260],"that":[60,81,150,172,206,245,265],"lead":[61,84,253],"crash.":[64,87],"Thus,":[65,158],"the":[66,111,130,151,159,211,216,256,277],"first":[67],"problem":[68,113,161],"we":[69],"address":[70],"how":[72,115,163],"help":[74],"fuzzers":[75],"previously":[77],"unknown":[78],"do":[82],"not":[83,93,154],"Moreover,":[88],"tool":[91,182,234,249],"may":[92],"necessarily":[94],"cover":[95,190,287],"all":[96,288],"branches":[97,191,289],"valid":[99,125,146,193,208,262],"inputs,":[100],"although":[101],"invalid":[102],"useless":[105],"So,":[110],"second":[112],"guide":[117],"fuzzer":[119],"maximize":[121],"coverage":[122],"using":[123,215,229],"inputs.":[126],"RAC":[128,171,184,203,224,251],"monitors":[129],"expected":[131],"behavior":[132],"program":[135,152,212,257],"dynamically":[136],"bug":[143],"when":[144],"input":[148],"shows":[149],"does":[153],"satisfy":[155],"its":[156],"specification.":[157],"third":[160],"provide":[165],"high-quality":[166],"trigger":[174],"potential":[175],"The":[177],"combination":[178],"solves":[185],"these":[186],"problems":[187],"effectively.":[199],"Our":[200,242],"study":[201],"uses":[202,223],"guarantee":[205],"reach":[210],"under":[213,258],"program\u2019s":[217],"specified":[218,230],"preconditions,":[219],"it":[221,285],"also":[222],"postconditions.":[231],"A":[232],"prototype":[233],"was":[235],"developed":[236],"this":[238,266,274],"study,":[239],"named":[240],"JMLKelinci+.":[241],"results":[243],"show":[244],"combining":[246],"will":[252],"executing":[255],"technique":[267],"effectively":[269],"Also,":[273],"idea":[275],"improves":[276],"feedback":[278],"given":[279],"tool,":[283],"enabling":[284],"faster":[290],"in":[291],"programs":[292],"non-trivial":[294],"preconditions.":[295],"1":[296]},"counts_by_year":[{"year":2024,"cited_by_count":2},{"year":2023,"cited_by_count":1},{"year":2022,"cited_by_count":1}],"updated_date":"2026-04-10T15:06:20.359241","created_date":"2025-10-10T00:00:00"}