学術論文
Proceedings of the First International Conference on AI-empowered Software Engineering
A Simple Negative Benchmark Generation for Safety Checking
Tsutomu Kumazawa, Munehiro Takimoto, Yasushi Kodama, and Yasushi Kambayashi