错误定位论文

面向Java程序错误定位的动态切片技术的研究与应用
论文摘要Java语言是一门简单的、面向对象的、健壮安全的、分布式的、结构中立、可移植性强、高效能、支持多线程的、动态的程序设计语言。Java的卓越特性使得它在各个领域获得了广泛...
模型检验的反例解释
论文题目:模型检验的反例解释论文类型:博士论文论文专业:计算机科学与技术作者:沈胜宇导师:李思昆关键词:形式化验证,模型检验,电子设计自动化,反例解释,错误定位,反例压缩文献来...