{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,18]],"date-time":"2025-12-18T14:28:06Z","timestamp":1766068086992,"version":"3.28.0"},"reference-count":15,"publisher":"IEEE","license":[{"start":{"date-parts":[[2024,5,30]],"date-time":"2024-05-30T00:00:00Z","timestamp":1717027200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2024,5,30]],"date-time":"2024-05-30T00:00:00Z","timestamp":1717027200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2024,5,30]]},"DOI":"10.1109\/sera61261.2024.10685613","type":"proceedings-article","created":{"date-parts":[[2024,9,26]],"date-time":"2024-09-26T17:41:47Z","timestamp":1727372507000},"page":"340-345","source":"Crossref","is-referenced-by-count":1,"title":["Analyzing the Inpact of Formal Methods on Isuue Trends Using BERTopic"],"prefix":"10.1109","author":[{"given":"Soshi","family":"Inoue","sequence":"first","affiliation":[{"name":"Graduate School of Sciences and Technology, Kyoto Institute of Technology,Kyoto,Japan"}]},{"given":"Kinari","family":"Nishiura","sequence":"additional","affiliation":[{"name":"Kyoto Institute of Technology,Faculty of Information and Human Sciences,Kyoto,Japan"}]},{"given":"Eunjong","family":"Choi","sequence":"additional","affiliation":[{"name":"Kyoto Institute of Technology,Faculty of Information and Human Sciences,Kyoto,Japan"}]},{"given":"Osamu","family":"Mizuno","sequence":"additional","affiliation":[{"name":"Kyoto Institute of Technology,Faculty of Information and Human Sciences,Kyoto,Japan"}]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-02152-7_4"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-28244-0_11"},{"key":"ref3","article-title":"Towards making formal methods normal: meeting developers where they are","volume-title":"arXiv preprint","author":"Reid","year":"2020"},{"key":"ref4","article-title":"Formal methods: From academia to industrial practice: A travel guide","author":"Huisman","year":"2020","journal-title":"Cornell University, WorkingPaper"},{"key":"ref5","article-title":"Bertopic: Neural topic modeling with a class-based TF-IDF procedure","author":"Grootendorst","year":"2022","journal-title":"arXiv preprint"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/ICSM.2001.972755"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/ISSRE.2013.6698918"},{"key":"ref8","first-page":"4171","article-title":"BERT: Pretraining of deep bidirectional transformers for language understanding","volume-title":"Proceedings of the 2019 Conference of the North American Chapter of the Association for Computational Linguistics: Human Language Technologies, Volume 1 (Long and Short Papers)","author":"Devlin","year":"2019"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.21105\/joss.00205"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1016\/j.infsof.2020.106411"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.3389\/fsoc.2022.886498"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1142\/S1793351X09000872"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1007\/s00766-011-0119-y"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1007\/11428817_45"},{"key":"ref15","first-page":"4","article-title":"An automatic quality evaluation for natural language requirements","volume-title":"In Proceedings of the 7th International Workshop on Requirements Engineering: Foundation for Software Quality (REFSQ)","volume":"1","author":"Fabbrini"}],"event":{"name":"2024 IEEE\/ACIS 22nd International Conference on Software Engineering Research, Management and Applications (SERA)","start":{"date-parts":[[2024,5,30]]},"location":"Honolulu, HI, USA","end":{"date-parts":[[2024,6,1]]}},"container-title":["2024 IEEE\/ACIS 22nd International Conference on Software Engineering Research, Management and Applications (SERA)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx8\/10685512\/10685554\/10685613.pdf?arnumber=10685613","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,9,27]],"date-time":"2024-09-27T04:44:29Z","timestamp":1727412269000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/10685613\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,5,30]]},"references-count":15,"URL":"https:\/\/doi.org\/10.1109\/sera61261.2024.10685613","relation":{},"subject":[],"published":{"date-parts":[[2024,5,30]]}}}