An Approach to Detecting Domain Errors Using Formal Specification-Based Testing ∗

机译：通过领域特定语言进行基于规范的测试

机译：自动字符串测试数据生成以检测域错误

机译：GUICop：基于规范的GUI测试的方法和工具集

机译：一种使用基于规范的正式测试来检测域错误的方法

机译：代数低密度奇偶校验代码：构造，陷印集，随机错误和擦除的校正和变换域方法。

机译：国家临床实验室标准委员会推荐的来自美国典型培养物保藏中心的质量控制菌株检测圆盘扩散敏感性测试中的错误的能力。

机译：测试正式规格以检测设计错误

机译：集成电路的运行时错误检测方法，包括测试在驱动时钟域中是否发生运行时错误，并通过扫描时钟输入中信号的变化触发时钟信号的产生

机译：在检错码的代码字中检测单向错误包括将测试码字与相同代码的第二字迭代组合，形成检错码的第三代码字

机译：自动生产的安排例如处理输液泵的错误并检测测试人员的反应，具有评估单元，用于自动检测测试人员在待测设备参数变化时的反应