マイクロソフト、AIでソフトウェアのバグや脆弱性を探る「Microsoft Security Risk Detection」を発表 http://www.publickey1.jp/blog/17/aimicrosoft_security_risk_detection.html 多分、 SAGE や Project Springfield でずっとやってきている話だと思う。 AIと言われるとちょっとモヤモヤするが。

SAGEの参考に:
Applications of SMT to Test Generation
https://es-static.fbk.eu/events/satsmtschool12/slides/3x03_SS12.pdf