Phoenix: a tool for automated data-driven synthesis of repairs for static analysis violations.

Hiroaki Yoshida, Rohan Bavishi, Keisuke Hotta, Yusuke Nemoto, Mukul R. Prasad, Shinji Kikuchi

Browse the full ICSE paper archive.