Computer-aided approaches to discover bugs or verify programs have made significant strides in recent years. However, the dominant approaches to develop and maintain software continue to rely heavily on human expertise. A remarkable asset possessed by humans is the ability to learn from past experiences, discover patterns, and avoid repeating mistakes. In this talk, I will describe our experience with leveraging artificial intelligence techniques to analyze large, complex programs and discover harmful bugs or prove correctness properties.