{"id":"https://openalex.org/W4402896930","doi":"https://doi.org/10.1109/sera61261.2024.10685613","title":"Analyzing the Inpact of Formal Methods on Isuue Trends Using BERTopic","display_name":"Analyzing the Inpact of Formal Methods on Isuue Trends Using BERTopic","publication_year":2024,"publication_date":"2024-05-30","ids":{"openalex":"https://openalex.org/W4402896930","doi":"https://doi.org/10.1109/sera61261.2024.10685613"},"language":"en","primary_location":{"id":"doi:10.1109/sera61261.2024.10685613","is_oa":false,"landing_page_url":"https://doi.org/10.1109/sera61261.2024.10685613","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2024 IEEE/ACIS 22nd International Conference on Software Engineering Research, Management and Applications (SERA)","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/A5107533493","display_name":"Soshi Inoue","orcid":null},"institutions":[{"id":"https://openalex.org/I27429435","display_name":"Kyoto Institute of Technology","ror":"https://ror.org/00965ax52","country_code":"JP","type":"education","lineage":["https://openalex.org/I27429435"]}],"countries":["JP"],"is_corresponding":true,"raw_author_name":"Soshi Inoue","raw_affiliation_strings":["Graduate School of Sciences and Technology, Kyoto Institute of Technology,Kyoto,Japan"],"affiliations":[{"raw_affiliation_string":"Graduate School of Sciences and Technology, Kyoto Institute of Technology,Kyoto,Japan","institution_ids":["https://openalex.org/I27429435"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5043303352","display_name":"Kinari Nishiura","orcid":null},"institutions":[{"id":"https://openalex.org/I27429435","display_name":"Kyoto Institute of Technology","ror":"https://ror.org/00965ax52","country_code":"JP","type":"education","lineage":["https://openalex.org/I27429435"]}],"countries":["JP"],"is_corresponding":false,"raw_author_name":"Kinari Nishiura","raw_affiliation_strings":["Kyoto Institute of Technology,Faculty of Information and Human Sciences,Kyoto,Japan"],"affiliations":[{"raw_affiliation_string":"Kyoto Institute of Technology,Faculty of Information and Human Sciences,Kyoto,Japan","institution_ids":["https://openalex.org/I27429435"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5112421750","display_name":"Eunjong Choi","orcid":"https://orcid.org/0000-0002-2196-033X"},"institutions":[{"id":"https://openalex.org/I27429435","display_name":"Kyoto Institute of Technology","ror":"https://ror.org/00965ax52","country_code":"JP","type":"education","lineage":["https://openalex.org/I27429435"]}],"countries":["JP"],"is_corresponding":false,"raw_author_name":"Eunjong Choi","raw_affiliation_strings":["Kyoto Institute of Technology,Faculty of Information and Human Sciences,Kyoto,Japan"],"affiliations":[{"raw_affiliation_string":"Kyoto Institute of Technology,Faculty of Information and Human Sciences,Kyoto,Japan","institution_ids":["https://openalex.org/I27429435"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5034691133","display_name":"Osamu Mizuno","orcid":"https://orcid.org/0000-0001-8061-7657"},"institutions":[{"id":"https://openalex.org/I27429435","display_name":"Kyoto Institute of Technology","ror":"https://ror.org/00965ax52","country_code":"JP","type":"education","lineage":["https://openalex.org/I27429435"]}],"countries":["JP"],"is_corresponding":false,"raw_author_name":"Osamu Mizuno","raw_affiliation_strings":["Kyoto Institute of Technology,Faculty of Information and Human Sciences,Kyoto,Japan"],"affiliations":[{"raw_affiliation_string":"Kyoto Institute of Technology,Faculty of Information and Human Sciences,Kyoto,Japan","institution_ids":["https://openalex.org/I27429435"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5107533493"],"corresponding_institution_ids":["https://openalex.org/I27429435"],"apc_list":null,"apc_paid":null,"fwci":0.2177,"has_fulltext":false,"cited_by_count":1,"citation_normalized_percentile":{"value":0.50182306,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":91,"max":95},"biblio":{"volume":null,"issue":null,"first_page":"340","last_page":"345"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11490","display_name":"Hydrological Forecasting Using AI","score":0.21950000524520874,"subfield":{"id":"https://openalex.org/subfields/2305","display_name":"Environmental Engineering"},"field":{"id":"https://openalex.org/fields/23","display_name":"Environmental Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T11490","display_name":"Hydrological Forecasting Using AI","score":0.21950000524520874,"subfield":{"id":"https://openalex.org/subfields/2305","display_name":"Environmental Engineering"},"field":{"id":"https://openalex.org/fields/23","display_name":"Environmental 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.6303045153617859},{"id":"https://openalex.org/keywords/formal-methods","display_name":"Formal methods","score":0.48184287548065186},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.12208732962608337}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6303045153617859},{"id":"https://openalex.org/C75606506","wikidata":"https://www.wikidata.org/wiki/Q1049183","display_name":"Formal methods","level":2,"score":0.48184287548065186},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.12208732962608337}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/sera61261.2024.10685613","is_oa":false,"landing_page_url":"https://doi.org/10.1109/sera61261.2024.10685613","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2024 IEEE/ACIS 22nd International Conference on Software Engineering Research, Management and Applications (SERA)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/13","score":0.5199999809265137,"display_name":"Climate action"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":17,"referenced_works":["https://openalex.org/W33595978","https://openalex.org/W1599004321","https://openalex.org/W1966769823","https://openalex.org/W2048279992","https://openalex.org/W2106725280","https://openalex.org/W2140538913","https://openalex.org/W2168702344","https://openalex.org/W2601243251","https://openalex.org/W3085163758","https://openalex.org/W4221142221","https://openalex.org/W4229011615","https://openalex.org/W4320472552","https://openalex.org/W6600266211","https://openalex.org/W6755207826","https://openalex.org/W6774241702","https://openalex.org/W6785422232","https://openalex.org/W6810311456"],"related_works":["https://openalex.org/W4391375266","https://openalex.org/W2748952813","https://openalex.org/W2390279801","https://openalex.org/W2358668433","https://openalex.org/W4396701345","https://openalex.org/W2376932109","https://openalex.org/W2001405890","https://openalex.org/W4396696052","https://openalex.org/W2382290278","https://openalex.org/W4395014643"],"abstract_inverted_index":{"Software":[0],"specification":[1],"quality":[2],"significantly":[3],"influ-ences":[4],"overall":[5],"software":[6,40,68],"quality.":[7,23],"Ambiguity":[8],"in":[9,39,67,79,120,133,148,175],"natural":[10],"language":[11],"specifications":[12],"has":[13],"been":[14,27],"identified":[15],"as":[16,29],"a":[17,30,99,130],"major":[18],"obstacle":[19],"to":[20,32,103,162],"achieving":[21],"high":[22],"Formal":[24],"methods":[25,66,142,166,174],"have":[26,47],"proposed":[28],"solution":[31],"mitigate":[33],"this":[34,72,74],"issue,":[35,73],"but":[36],"their":[37],"adoption":[38],"development":[41],"remains":[42],"limited.":[43],"While":[44],"previous":[45],"studies":[46],"primarily":[48],"focused":[49],"on":[50,60,90],"the":[51,61,77,112,134,149,157,169],"challenges":[52],"of":[53,63,118,136,151,159,172],"introducing":[54],"formal":[55,65,87,125,141,145,165,173],"methods,":[56,88,146],"few":[57],"reports":[58],"exist":[59],"effects":[62],"applying":[64],"development.":[69,179],"To":[70],"tackle":[71],"study":[75],"analyzes":[76],"trends":[78],"OSS":[80,121],"(open":[81],"source":[82],"software)":[83],"with":[84,107,122,140,164],"and":[85,114,123,143,167],"without":[86,124,144],"based":[89],"issues":[91,113,119,137,160],"collected":[92],"from":[93],"GitHub":[94],"repositories.":[95],"We":[96],"employed":[97],"BERTopic,":[98],"topic":[100],"modeling":[101],"technique,":[102],"extract":[104],"topics":[105,117],"associated":[106],"issues.":[108],"Subsequently,":[109],"we":[110],"labeled":[111],"statistically":[115],"compared":[116],"methods.":[126],"The":[127],"results":[128],"indicate":[129],"significant":[131],"difference":[132],"tendency":[135],"between":[138],"OSSs":[139,163],"particularly":[147],"frequency":[150],"reported":[152],"errors.":[153],"These":[154],"findings":[155],"suggest":[156],"existence":[158],"specific":[161],"highlight":[168],"potential":[170],"benefits":[171],"reducing":[176],"errors":[177],"during":[178]},"counts_by_year":[{"year":2025,"cited_by_count":1}],"updated_date":"2026-01-13T01:12:25.745995","created_date":"2025-10-10T00:00:00"}