阅读软件分析论文 [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]

>>阅读原文<<