{"id":"https://openalex.org/W4402391685","doi":"https://doi.org/10.1145/3643659.3648557","title":"Kex at the SBFT 2024 Tool Competition","display_name":"Kex at the SBFT 2024 Tool Competition","publication_year":2024,"publication_date":"2024-04-14","ids":{"openalex":"https://openalex.org/W4402391685","doi":"https://doi.org/10.1145/3643659.3648557"},"language":"en","primary_location":{"id":"doi:10.1145/3643659.3648557","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3643659.3648557","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 17th ACM/IEEE International Workshop on Search-Based and Fuzz Testing","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5013006710","display_name":"Azat Abdullin","orcid":"https://orcid.org/0000-0002-9669-2587"},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Azat Abdullin","raw_affiliation_strings":["Research, JetBrains, Amsterdam, Netherlands"],"raw_orcid":"https://orcid.org/0000-0002-9669-2587","affiliations":[{"raw_affiliation_string":"Research, JetBrains, Amsterdam, Netherlands","institution_ids":[]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5014911872","display_name":"Marat Akhin","orcid":"https://orcid.org/0009-0003-1683-6654"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Marat Akhin","raw_affiliation_strings":["Research, JetBrains, Amsterdam, The Netherlands"],"raw_orcid":"https://orcid.org/0009-0003-1683-6654","affiliations":[{"raw_affiliation_string":"Research, JetBrains, Amsterdam, The Netherlands","institution_ids":[]}]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5013006710"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.4642,"has_fulltext":false,"cited_by_count":1,"citation_normalized_percentile":{"value":0.67598344,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":94},"biblio":{"volume":null,"issue":null,"first_page":"65","last_page":"66"},"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.9952999949455261,"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.9952999949455261,"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/T12810","display_name":"Real-time simulation and control systems","score":0.9742000102996826,"subfield":{"id":"https://openalex.org/subfields/2207","display_name":"Control and Systems Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10683","display_name":"Mass Spectrometry Techniques and Applications","score":0.970300018787384,"subfield":{"id":"https://openalex.org/subfields/1607","display_name":"Spectroscopy"},"field":{"id":"https://openalex.org/fields/16","display_name":"Chemistry"},"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.524729311466217},{"id":"https://openalex.org/keywords/competition","display_name":"Competition (biology)","score":0.5135205388069153},{"id":"https://openalex.org/keywords/materials-science","display_name":"Materials science","score":0.3501364290714264}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.524729311466217},{"id":"https://openalex.org/C91306197","wikidata":"https://www.wikidata.org/wiki/Q45767","display_name":"Competition (biology)","level":2,"score":0.5135205388069153},{"id":"https://openalex.org/C192562407","wikidata":"https://www.wikidata.org/wiki/Q228736","display_name":"Materials science","level":0,"score":0.3501364290714264},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0},{"id":"https://openalex.org/C18903297","wikidata":"https://www.wikidata.org/wiki/Q7150","display_name":"Ecology","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3643659.3648557","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3643659.3648557","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 17th ACM/IEEE International Workshop on Search-Based and Fuzz Testing","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":7,"referenced_works":["https://openalex.org/W2296669295","https://openalex.org/W2912640545","https://openalex.org/W2963723316","https://openalex.org/W4214860567","https://openalex.org/W4299869287","https://openalex.org/W4319150690","https://openalex.org/W4385301291"],"related_works":["https://openalex.org/W4391375266","https://openalex.org/W2748952813","https://openalex.org/W4402299999","https://openalex.org/W4246450666","https://openalex.org/W4388998267","https://openalex.org/W2898370298","https://openalex.org/W2137437058","https://openalex.org/W2884249467","https://openalex.org/W4396520874","https://openalex.org/W4390401159"],"abstract_inverted_index":{"Kex":[0,24,70,88],"is":[1],"a":[2,26,52,61],"platform":[3],"for":[4],"analysis":[5],"of":[6,28,43,54,87,94],"JVM":[7],"programs":[8],"which":[9,57],"mainly":[10],"focuses":[11],"on":[12,105],"automatic":[13],"test":[14,47,64],"generation":[15],"with":[16],"the":[17,44,83,91,95,102],"aim":[18],"to":[19,38,76],"maximize":[20],"branch":[21],"coverage":[22],"criterion.":[23],"takes":[25],"set":[27,53],"compiled":[29],"classes":[30],"as":[31],"an":[32],"input":[33],"and":[34,73,85,107],"uses":[35],"symbolic":[36,72],"execution":[37],"analyze":[39],"control":[40],"flow":[41],"graphs":[42],"program":[45],"under":[46],"(PUT).":[48],"Symbolic":[49],"engine":[50],"produces":[51],"interesting":[55],"inputs":[56],"are":[58],"converted":[59],"into":[60],"JUnit":[62],"4":[63],"suite":[65],"using":[66],"Java":[67,96],"reflection":[68],"library.":[69],"combines":[71],"concrete":[74],"executions":[75],"achieve":[77],"maximum":[78],"coverage.":[79],"This":[80],"paper":[81],"summarizes":[82],"results":[84],"experiences":[86],"participation":[89],"in":[90],"twelfth":[92],"edition":[93],"unit":[97],"testing":[98],"tool":[99],"competition":[100],"at":[101],"International":[103],"Workshop":[104],"Search-Based":[106],"Fuzz":[108],"Testing":[109],"(SBFT)":[110],"2024.":[111]},"counts_by_year":[{"year":2024,"cited_by_count":1}],"updated_date":"2025-12-22T23:10:17.713674","created_date":"2025-10-10T00:00:00"}