{"id":"https://openalex.org/W4366446501","doi":"https://doi.org/10.1007/978-3-031-30820-8_33","title":"EBF 4.2: Black-Box Cooperative Verification for Concurrent Programs","display_name":"EBF 4.2: Black-Box Cooperative Verification for Concurrent Programs","publication_year":2023,"publication_date":"2023-01-01","ids":{"openalex":"https://openalex.org/W4366446501","doi":"https://doi.org/10.1007/978-3-031-30820-8_33"},"language":"en","primary_location":{"id":"doi:10.1007/978-3-031-30820-8_33","is_oa":true,"landing_page_url":"https://doi.org/10.1007/978-3-031-30820-8_33","pdf_url":"https://link.springer.com/content/pdf/10.1007/978-3-031-30820-8_33.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-031-30820-8_33.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5057710736","display_name":"Fatimah Aljaafari","orcid":"https://orcid.org/0000-0001-7683-8182"},"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"]},{"id":"https://openalex.org/I4626487","display_name":"King Faisal University","ror":"https://ror.org/00dn43547","country_code":"SA","type":"education","lineage":["https://openalex.org/I4626487"]}],"countries":["GB","SA"],"is_corresponding":true,"raw_author_name":"Fatimah Aljaafari","raw_affiliation_strings":["Department of Computer Networks and Communications, CCSIT, King Faisal University, Al Hassa, 31982, Saudi Arabia","Department of Computer Science, The University of Manchester, Manchester, M13 9PL, UK"],"affiliations":[{"raw_affiliation_string":"Department of Computer Networks and Communications, CCSIT, King Faisal University, Al Hassa, 31982, Saudi Arabia","institution_ids":["https://openalex.org/I4626487"]},{"raw_affiliation_string":"Department of Computer Science, The University of Manchester, Manchester, M13 9PL, UK","institution_ids":["https://openalex.org/I28407311"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5075615651","display_name":"Fedor Shmarov","orcid":"https://orcid.org/0000-0002-3848-451X"},"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":"Fedor Shmarov","raw_affiliation_strings":["Department of Computer Science, The University of Manchester, Manchester, M13 9PL, UK"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science, The University of Manchester, Manchester, M13 9PL, UK","institution_ids":["https://openalex.org/I28407311"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5028554978","display_name":"Edoardo Manino","orcid":"https://orcid.org/0000-0003-0028-5440"},"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":"Edoardo Manino","raw_affiliation_strings":["Department of Computer Science, The University of Manchester, Manchester, M13 9PL, UK"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science, The University of Manchester, Manchester, M13 9PL, UK","institution_ids":["https://openalex.org/I28407311"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5008999300","display_name":"Rafael Menezes","orcid":"https://orcid.org/0000-0002-6102-4343"},"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":"Rafael Menezes","raw_affiliation_strings":["Department of Computer Science, The University of Manchester, Manchester, M13 9PL, UK"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science, The University of Manchester, Manchester, M13 9PL, 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":["Department of Computer Science, The University of Manchester, Manchester, M13 9PL, UK"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science, The University of Manchester, Manchester, M13 9PL, UK","institution_ids":["https://openalex.org/I28407311"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":5,"corresponding_author_ids":["https://openalex.org/A5057710736"],"corresponding_institution_ids":["https://openalex.org/I28407311","https://openalex.org/I4626487"],"apc_list":{"value":5000,"currency":"EUR","value_usd":5392},"apc_paid":{"value":5000,"currency":"EUR","value_usd":5392},"fwci":5.4824,"has_fulltext":true,"cited_by_count":6,"citation_normalized_percentile":{"value":0.95702006,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":90,"max":98},"biblio":{"volume":null,"issue":null,"first_page":"541","last_page":"546"},"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.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/T10743","display_name":"Software Testing and Debugging Techniques","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/T12423","display_name":"Software Reliability and Analysis Research","score":0.9987999796867371,"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/T10142","display_name":"Formal Methods in Verification","score":0.998199999332428,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"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.9301705360412598},{"id":"https://openalex.org/keywords/concurrency","display_name":"Concurrency","score":0.6753450632095337},{"id":"https://openalex.org/keywords/black-box","display_name":"Black box","score":0.6623969078063965},{"id":"https://openalex.org/keywords/instrumentation","display_name":"Instrumentation (computer programming)","score":0.4206886291503906},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.40365180373191833},{"id":"https://openalex.org/keywords/parallel-computing","display_name":"Parallel computing","score":0.32682090997695923},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.2043648660182953}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.9301705360412598},{"id":"https://openalex.org/C193702766","wikidata":"https://www.wikidata.org/wiki/Q1414548","display_name":"Concurrency","level":2,"score":0.6753450632095337},{"id":"https://openalex.org/C94966114","wikidata":"https://www.wikidata.org/wiki/Q29256","display_name":"Black box","level":2,"score":0.6623969078063965},{"id":"https://openalex.org/C118530786","wikidata":"https://www.wikidata.org/wiki/Q1134732","display_name":"Instrumentation (computer programming)","level":2,"score":0.4206886291503906},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.40365180373191833},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.32682090997695923},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.2043648660182953}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1007/978-3-031-30820-8_33","is_oa":true,"landing_page_url":"https://doi.org/10.1007/978-3-031-30820-8_33","pdf_url":"https://link.springer.com/content/pdf/10.1007/978-3-031-30820-8_33.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/8c6930b6-d1e2-4fa7-ad24-aab198008994","is_oa":true,"landing_page_url":"https://research.manchester.ac.uk/en/publications/8c6930b6-d1e2-4fa7-ad24-aab198008994","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":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Aljaafari, F, Shmarov, F, Manino, E, Menezes, R & Cordeiro, L C 2023, EBF 4.2: Black-Box Cooperative Verification for Concurrent Programs (Competition Contribution). in 29th International Conference on Tools and Algorithms for the Construction and Analysis of Systems.","raw_type":"info:eu-repo/semantics/publishedVersion"},{"id":"pmh:oai:pure.atira.dk:publications/d77229cc-8b18-4f98-9485-a77900d87724","is_oa":false,"landing_page_url":"https://research.manchester.ac.uk/en/publications/d77229cc-8b18-4f98-9485-a77900d87724","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":"Aljaafari, F, Shmarov, F, Manino, E, Menezes, R & Cordeiro, L C 2023, EBF 4.2: Black-Box Cooperative Verification for Concurrent Programs : (Competition Contribution). in S Sankaranarayanan & N Sharygina (eds), Tools and Algorithms for the Construction and Analysis of Systems : 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22\u201327, 2023, Proceedings, Part II. Lecture Notes in Computer Science, vol. 13994, Springer Cham, Cham, pp. 541-546, 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, 22/04/23. https://doi.org/10.1007/978-3-031-30820-8_33","raw_type":"info:eu-repo/semantics/publishedVersion"}],"best_oa_location":{"id":"doi:10.1007/978-3-031-30820-8_33","is_oa":true,"landing_page_url":"https://doi.org/10.1007/978-3-031-30820-8_33","pdf_url":"https://link.springer.com/content/pdf/10.1007/978-3-031-30820-8_33.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":[{"display_name":"Partnerships for the goals","score":0.4399999976158142,"id":"https://metadata.un.org/sdg/17"}],"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/G1934935867","display_name":null,"funder_award_id":"Engineering and Physical Sciences R","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":false},"content_urls":{"pdf":"https://content.openalex.org/works/W4366446501.pdf"},"referenced_works_count":11,"referenced_works":["https://openalex.org/W2025819261","https://openalex.org/W2574017551","https://openalex.org/W2806377938","https://openalex.org/W2935191403","https://openalex.org/W3095071793","https://openalex.org/W3129734671","https://openalex.org/W4226394121","https://openalex.org/W4290048282","https://openalex.org/W4297880903","https://openalex.org/W4313043010","https://openalex.org/W6631363855"],"related_works":["https://openalex.org/W562823126","https://openalex.org/W2106037662","https://openalex.org/W1530419332","https://openalex.org/W2045782830","https://openalex.org/W2143942744","https://openalex.org/W2165392093","https://openalex.org/W2469134140","https://openalex.org/W1972557159","https://openalex.org/W2993874308","https://openalex.org/W2113699753"],"abstract_inverted_index":{"Abstract":[0],"Combining":[1],"different":[2,124],"verification":[3],"and":[4,59,130],"testing":[5],"techniques":[6,71],"together":[7],"could,":[8],"at":[9],"least":[10],"in":[11,25,72,86,109],"theory,":[12],"achieve":[13],"better":[14],"results":[15],"than":[16],"each":[17,37],"individual":[18],"one":[19,92],"on":[20],"its":[21],"own.":[22],"The":[23],"challenge":[24,48],"doing":[26],"so":[27],"is":[28,84],"how":[29],"to":[30,76,99,102,122],"take":[31],"advantage":[32],"of":[33,36,55],"the":[34,91,94,103,110,115],"strengths":[35],"technique":[38],"while":[39],"compensating":[40],"for":[41,49],"their":[42],"weaknesses.":[43],"EBF":[44,74],"4.2":[45],"addresses":[46],"this":[47],"concurrency":[50],"vulnerabilities":[51,108],"by":[52,105,126],"creating":[53],"Ensembles":[54],"Bounded":[56],"model":[57,95],"checkers":[58,96],"gray-box":[60],"Fuzzers.":[61],"In":[62],"contrast":[63],"with":[64],"portfolios,":[65],"which":[66],"simply":[67],"run":[68],"all":[69],"possible":[70],"parallel,":[73],"strives":[75],"obtain":[77],"closer":[78],"cooperation":[79],"between":[80],"them.":[81,133],"This":[82],"goal":[83],"achieved":[85],"a":[87],"black-box":[88],"fashion.":[89],"On":[90,114],"hand,":[93,117],"are":[97,120],"forced":[98,121],"provide":[100],"seeds":[101],"fuzzers":[104,119],"injecting":[106],"additional":[107],"program":[111],"under":[112],"test.":[113],"other":[116],"off-the-shelf":[118],"explore":[123],"interleavings":[125],"adding":[127],"lightweight":[128],"instrumentation":[129],"systematically":[131],"re-seeding":[132]},"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2024,"cited_by_count":1},{"year":2023,"cited_by_count":4}],"updated_date":"2026-04-10T15:06:20.359241","created_date":"2023-04-22T00:00:00"}