Observational Equivalence Using Schedulers for Quantum Processes. - Kazuya Yasuda; Takahiro Kubota; Yoshihiko Kakutani (QPL, 2014)

Inferring Faults in Business Specifications Extracted from Source Code. - Kazuya Yasuda; Shinji Itoh; Ryota Mibe; Yoshinori Jodai; Fumie Nakaya (APSEC, 2019)

Constructing Dataset of Functionally Equivalent Java Methods Using Automated Test Generation Techniques. - Yoshiki Higo; Shinsuke Matsumoto; Shinji Kusumoto; Kazuya Yasuda (MSR, 2022)

Mining Fix Patterns with Context Information for Automatic Program Repair. - Phan Thi Thanh Huyen; Kazuya Yasuda; Shinji Itoh (APR@ICSE, 2023)

The Effects of Semantic Information on LLM-Based Program Repair. - Shota Hori; Shinsuke Matsumoto; Yoshiki Higo; Shinji Kusumoto; Kazuya Yasuda; Shinji Itoh; Phan Thi Thanh Huyen (PROFES, 2024)