閱讀軟件分析論文 [ISSTA 13]Hybrid Learning:Interface Generation through Static,Dynamic,and Symbolic Analysis

前言 在此閱讀ISSTA 13 軟件分析論文。 這篇論文應該和形式化方法有點沾邊的，這位作者最近也是一直在搞形式化方法，值得一讀。 1 基本信息 Howar F, Giannakopoulou D, Rakamarić Z. Hybrid learning: interface generation through static, dynamic, and symbolic analysis[C]

>>阅读原文<<