反例生成相关论文
模型检测最重要的特性之一是能够为不满足的时态属性生成反例。反例可以为工程师提供调试信息,以进一步解释属性的违反情况。然而,......
针对传统的符号模型检测反例生成算法在生成反例时会产生大量的无关变量,使得反例难以理解。提出一种改进的反例生成算法,将反例中......
按照存在量词公式的证据是全称量词公式的反例的特性，通过考察时态逻辑算子，用模型检查的反例生成机制对测试用例生成技术进行研究．然......
