Software engineering; byte code verification; software testing;
机译:Java卡片卡片字节码验证器的研究
机译:Java智能卡上的字节码验证
机译:Gen-IV型钠冷快堆的安全性和性能验证试验以及计算代码的验证与验证
机译:Java卡字节码验证程序的组合验证测试
机译:使用Z形式化Java字节码验证程序。
机译:比较临床术语表现的随机交叉试验 一般实践中的版本3和读取代码5字节集编码方案
机译:基于模型检查的Java智能卡字节码验证
机译:对FLasH计算机代码Versiion 3.0进行独立验证和验证测试