AI Meets Program Analysis: Lessons from a Decade of Enterprise Software Modernization at IBM
This paper argues that AI and program analysis are not competing technologies but complementary capabilities, and envision enterprise software engineering as a collaboration in which program analysis provides evidence, AI provides intelligence, and human engineers contribute the judgment and wisdom required to build tr...