Analyzing the Inpact of Formal Methods on Isuue Trends Using BERTopic. - Soshi Inoue; Kinari Nishiura; Eunjong Choi; Osamu Mizuno (SERA, 2024)