{"id":"https://openalex.org/W4226228065","doi":"https://doi.org/10.1007/978-3-030-99429-7_19","title":"FuSeBMC v4: Smart Seed Generation for Hybrid Fuzzing","display_name":"FuSeBMC v4: Smart Seed Generation for Hybrid Fuzzing","publication_year":2022,"publication_date":"2022-01-01","ids":{"openalex":"https://openalex.org/W4226228065","doi":"https://doi.org/10.1007/978-3-030-99429-7_19"},"language":"en","primary_location":{"id":"doi:10.1007/978-3-030-99429-7_19","is_oa":true,"landing_page_url":"https://doi.org/10.1007/978-3-030-99429-7_19","pdf_url":"https://link.springer.com/content/pdf/10.1007/978-3-030-99429-7_19.pdf","source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"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":"book series"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},"type":"book-chapter","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"hybrid","oa_url":"https://link.springer.com/content/pdf/10.1007/978-3-030-99429-7_19.pdf","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5019270269","display_name":"Kaled M. Alshmrany","orcid":"https://orcid.org/0000-0002-5822-5435"},"institutions":[{"id":"https://openalex.org/I28407311","display_name":"University of Manchester","ror":"https://ror.org/027m9bs27","country_code":"GB","type":"education","lineage":["https://openalex.org/I28407311"]}],"countries":["GB"],"is_corresponding":true,"raw_author_name":"Kaled M. Alshmrany","raw_affiliation_strings":["Institute of Public Administration, Jeddah, Saudi Arabia","University of Manchester, Manchester, UK"],"affiliations":[{"raw_affiliation_string":"Institute of Public Administration, Jeddah, Saudi Arabia","institution_ids":[]},{"raw_affiliation_string":"University of Manchester, Manchester, UK","institution_ids":["https://openalex.org/I28407311"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5050237166","display_name":"Mohannad Aldughaim","orcid":"https://orcid.org/0000-0003-1708-1399"},"institutions":[{"id":"https://openalex.org/I28407311","display_name":"University of Manchester","ror":"https://ror.org/027m9bs27","country_code":"GB","type":"education","lineage":["https://openalex.org/I28407311"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Mohannad Aldughaim","raw_affiliation_strings":["University of Manchester, Manchester, UK"],"affiliations":[{"raw_affiliation_string":"University of Manchester, Manchester, UK","institution_ids":["https://openalex.org/I28407311"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5024155163","display_name":"Ahmed Bhayat","orcid":"https://orcid.org/0000-0002-1343-5084"},"institutions":[{"id":"https://openalex.org/I28407311","display_name":"University of Manchester","ror":"https://ror.org/027m9bs27","country_code":"GB","type":"education","lineage":["https://openalex.org/I28407311"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Ahmed Bhayat","raw_affiliation_strings":["University of Manchester, Manchester, UK"],"affiliations":[{"raw_affiliation_string":"University of Manchester, Manchester, UK","institution_ids":["https://openalex.org/I28407311"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5057689302","display_name":"Lucas C. Cordeiro","orcid":"https://orcid.org/0000-0002-6235-4272"},"institutions":[{"id":"https://openalex.org/I28407311","display_name":"University of Manchester","ror":"https://ror.org/027m9bs27","country_code":"GB","type":"education","lineage":["https://openalex.org/I28407311"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Lucas C. Cordeiro","raw_affiliation_strings":["University of Manchester, Manchester, UK"],"affiliations":[{"raw_affiliation_string":"University of Manchester, Manchester, UK","institution_ids":["https://openalex.org/I28407311"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5019270269"],"corresponding_institution_ids":["https://openalex.org/I28407311"],"apc_list":{"value":5000,"currency":"EUR","value_usd":5392},"apc_paid":{"value":5000,"currency":"EUR","value_usd":5392},"fwci":9.7046,"has_fulltext":true,"cited_by_count":17,"citation_normalized_percentile":{"value":0.99297753,"is_in_top_1_percent":true,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":90,"max":99},"biblio":{"volume":null,"issue":null,"first_page":"336","last_page":"340"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9998000264167786,"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":0.9998000264167786,"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.998199999332428,"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/T11241","display_name":"Advanced Malware Detection Techniques","score":0.9958000183105469,"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/fuzz-testing","display_name":"Fuzz testing","score":0.9844424724578857},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.796947717666626},{"id":"https://openalex.org/keywords/cover","display_name":"Cover (algebra)","score":0.7449613809585571},{"id":"https://openalex.org/keywords/code-coverage","display_name":"Code coverage","score":0.6350465416908264},{"id":"https://openalex.org/keywords/code","display_name":"Code (set theory)","score":0.5516294240951538},{"id":"https://openalex.org/keywords/process","display_name":"Process (computing)","score":0.5510627627372742},{"id":"https://openalex.org/keywords/test","display_name":"Test (biology)","score":0.4798831045627594},{"id":"https://openalex.org/keywords/generator","display_name":"Generator (circuit theory)","score":0.4531243145465851},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.44699278473854065},{"id":"https://openalex.org/keywords/test-case","display_name":"Test case","score":0.42889901995658875},{"id":"https://openalex.org/keywords/machine-learning","display_name":"Machine learning","score":0.2318251132965088},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.15824010968208313},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.10348314046859741},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.10105249285697937}],"concepts":[{"id":"https://openalex.org/C111065885","wikidata":"https://www.wikidata.org/wiki/Q1189053","display_name":"Fuzz testing","level":3,"score":0.9844424724578857},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.796947717666626},{"id":"https://openalex.org/C2780428219","wikidata":"https://www.wikidata.org/wiki/Q16952335","display_name":"Cover (algebra)","level":2,"score":0.7449613809585571},{"id":"https://openalex.org/C53942775","wikidata":"https://www.wikidata.org/wiki/Q1211721","display_name":"Code coverage","level":3,"score":0.6350465416908264},{"id":"https://openalex.org/C2776760102","wikidata":"https://www.wikidata.org/wiki/Q5139990","display_name":"Code (set theory)","level":3,"score":0.5516294240951538},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.5510627627372742},{"id":"https://openalex.org/C2777267654","wikidata":"https://www.wikidata.org/wiki/Q3519023","display_name":"Test (biology)","level":2,"score":0.4798831045627594},{"id":"https://openalex.org/C2780992000","wikidata":"https://www.wikidata.org/wiki/Q17016113","display_name":"Generator (circuit theory)","level":3,"score":0.4531243145465851},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.44699278473854065},{"id":"https://openalex.org/C128942645","wikidata":"https://www.wikidata.org/wiki/Q1568346","display_name":"Test case","level":3,"score":0.42889901995658875},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.2318251132965088},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.15824010968208313},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.10348314046859741},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.10105249285697937},{"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/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","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},{"id":"https://openalex.org/C151730666","wikidata":"https://www.wikidata.org/wiki/Q7205","display_name":"Paleontology","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/C163258240","wikidata":"https://www.wikidata.org/wiki/Q25342","display_name":"Power (physics)","level":2,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1007/978-3-030-99429-7_19","is_oa":true,"landing_page_url":"https://doi.org/10.1007/978-3-030-99429-7_19","pdf_url":"https://link.springer.com/content/pdf/10.1007/978-3-030-99429-7_19.pdf","source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"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":"book series"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},{"id":"pmh:oai:pure.atira.dk:openaire_cris_publications/7b086b9d-4f92-4763-9f51-ebd2bc0a3801","is_oa":false,"landing_page_url":"https://research.manchester.ac.uk/en/publications/7b086b9d-4f92-4763-9f51-ebd2bc0a3801","pdf_url":null,"source":{"id":"https://openalex.org/S4306400662","display_name":"Research Explorer (The University of Manchester)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I28407311","host_organization_name":"University of Manchester","host_organization_lineage":["https://openalex.org/I28407311"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Alshmrany, K M, Aldughaim, M, Bhayat, A & Cordeiro, L C 2022, FuSeBMC v4: Smart Seed Generation for Hybrid Fuzzing : (Competition Contribution). in E B Johnsen & M Wimmer (eds), Fundamental Approaches to Software Engineering : 25th International Conference, FASE 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2\u20137, 2022, Proceedings. Lecture Notes in Computer Science, vol. 13241, Springer Cham, Cham, pp. 336\u2013340, 25th International Conference on Fundamental Approaches to Software Engineering - FASE 2022 , Munich, Germany, 4/04/22. https://doi.org/10.1007/978-3-030-99429-7_19","raw_type":"info:eu-repo/semantics/publishedVersion"}],"best_oa_location":{"id":"doi:10.1007/978-3-030-99429-7_19","is_oa":true,"landing_page_url":"https://doi.org/10.1007/978-3-030-99429-7_19","pdf_url":"https://link.springer.com/content/pdf/10.1007/978-3-030-99429-7_19.pdf","source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"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":"book series"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G1147893575","display_name":null,"funder_award_id":"EU H2020","funder_id":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council"},{"id":"https://openalex.org/G2236787230","display_name":null,"funder_award_id":"957286","funder_id":"https://openalex.org/F4320332999","funder_display_name":"Horizon 2020 Framework Programme"},{"id":"https://openalex.org/G257784197","display_name":null,"funder_award_id":"EU H2020 ELEGANT 957286","funder_id":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council"},{"id":"https://openalex.org/G3060584250","display_name":"SCorCH: Secure Code for Capability Hardware","funder_award_id":"EP/V000497/1","funder_id":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council"},{"id":"https://openalex.org/G5045220161","display_name":null,"funder_award_id":"H2020","funder_id":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council"},{"id":"https://openalex.org/G6661291015","display_name":"EnnCore: End-to-End Conceptual Guarding of Neural Architectures","funder_award_id":"EP/T026995/1","funder_id":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council"},{"id":"https://openalex.org/G7331901853","display_name":null,"funder_award_id":"EU H2020","funder_id":"https://openalex.org/F4320332999","funder_display_name":"Horizon 2020 Framework Programme"},{"id":"https://openalex.org/G849311619","display_name":null,"funder_award_id":"EP/T026995/1","funder_id":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council"}],"funders":[{"id":"https://openalex.org/F4320314731","display_name":"UK Research and Innovation","ror":"https://ror.org/001aqnf71"},{"id":"https://openalex.org/F4320332999","display_name":"Horizon 2020 Framework Programme","ror":"https://ror.org/00k4n6c32"},{"id":"https://openalex.org/F4320334627","display_name":"Engineering and Physical Sciences Research Council","ror":"https://ror.org/0439y7842"}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4226228065.pdf","grobid_xml":"https://content.openalex.org/works/W4226228065.grobid-xml"},"referenced_works_count":9,"referenced_works":["https://openalex.org/W2317041024","https://openalex.org/W2574017551","https://openalex.org/W2766540688","https://openalex.org/W2929483929","https://openalex.org/W2949558051","https://openalex.org/W3006715372","https://openalex.org/W3129734671","https://openalex.org/W3138661355","https://openalex.org/W3169915924"],"related_works":["https://openalex.org/W4313066017","https://openalex.org/W4283736421","https://openalex.org/W4381785649","https://openalex.org/W2297949281","https://openalex.org/W1964740600","https://openalex.org/W2884946294","https://openalex.org/W3133364053","https://openalex.org/W2991920445","https://openalex.org/W2914996832","https://openalex.org/W3091033583"],"abstract_inverted_index":{"Abstract":[0],"FuSeBMC":[1,52,99,116],"is":[2,85],"a":[3,18,66,71],"test":[4,37,136,141,154],"generator":[5],"for":[6,39,152],"finding":[7],"security":[8],"vulnerabilities":[9],"in":[10,88,112,120,162,190],"C":[11],"programs.":[12],"In":[13,156],"Test-Comp":[14,172],"2021,":[15],"we":[16,160,177],"described":[17],"previous":[19,114],"version":[20,50,74],"that":[21,53,91,176],"incrementally":[22],"injected":[23],"labels":[24,132],"to":[25,35,57,78,129],"guide":[26],"Bounded":[27],"Model":[28],"Checking":[29],"(BMC)":[30],"and":[31,42,143,168],"Evolutionary":[32],"Fuzzing":[33],"engines":[34,56,63,102],"produce":[36,58,79],"cases":[38],"code":[40,181],"coverage":[41,182],"bug":[43],"finding.":[44],"This":[45],"paper":[46],"introduces":[47],"an":[48],"improved":[49],"of":[51,75,145],"utilizes":[54],"both":[55],"smart":[59,109],"seeds.":[60,81],"First,":[61],"the":[62,76,80,108,113,131,163],"run":[64],"with":[65,103],"short":[67],"time":[68,105],"limit":[69],"on":[70],"lightly":[72],"instrumented":[73],"program":[77],"The":[82,171],"BMC":[83],"engine":[84],"particularly":[86],"useful":[87],"producing":[89],"seeds":[90,110,151],"can":[92],"pass":[93],"through":[94],"complex":[95],"mathematical":[96],"guards.":[97],"Then,":[98],"runs":[100],"its":[101],"extended":[104],"limits":[106],"using":[107],"created":[111],"round.":[115],"manages":[117],"this":[118,157],"process":[119],"two":[121],"main":[122],"ways.":[123],"Firstly,":[124],"it":[125,139],"uses":[126],"shared":[127],"memory":[128],"record":[130],"covered":[133],"by":[134],"each":[135],"case.":[137],"Secondly,":[138],"evaluates":[140],"cases,":[142],"those":[144],"high":[146],"impact":[147],"are":[148],"turned":[149],"into":[150],"subsequent":[153],"fuzzing.":[155],"year\u2019s":[158],"competition,":[159],"participate":[161],"Cover-Error":[164],",":[165,167],"Cover-Branches":[166],"Overall":[169],"categories.":[170,192],"2022":[173],"results":[174],"show":[175],"significantly":[178],"increased":[179],"our":[180],"score":[183],"from":[184],"last":[185],"year,":[186],"outperforming":[187],"all":[188,191],"tools":[189]},"counts_by_year":[{"year":2025,"cited_by_count":5},{"year":2024,"cited_by_count":4},{"year":2023,"cited_by_count":7},{"year":2022,"cited_by_count":1}],"updated_date":"2026-04-10T15:06:20.359241","created_date":"2025-10-10T00:00:00"}