作者：Robert J. Hall
摘要
论文关键词：Reverse Engineering, Fault Prediction, Program Verification, Base User Interface, Linear Arithmetic
论文评审过程：
论文官网地址：https://doi.org/10.1007/s10515-014-0147-1
