Software engineering; Testing automation; Compiler testing; Haskell; Type system;
机译:基于分析层次过程和批评方法的分销自动化设备检测结果综合评价方法研究
机译:编译器测试方法概述
机译:推进测试自动化技术以应对基于模型的软件测试的挑战-客座编辑介绍了第三届IEEE国际软件测试自动化研讨会(AST 2008)的特殊部分
机译:基于等效模型输入方法的Haskell编译器测试自动化
机译:增强测试和评估过程:实施敏捷开发,测试自动化和基于模型的系统工程概念
机译:更正为:确定以人群为基础的队列中的脊柱侧弯:基于全身双能X射线吸收仪扫描的已验证方法的自动化
机译:基于等效模型输入方法的Haskell编译器测试自动化
机译:ada编译器验证摘要报告:编译器名称:DaCs-80336保护模式,版本4.3证书编号8903241s1.10068主机:microVms下的microVaX II,版本4.6。目标:英特尔80386 isBC 386/21 Under Base Testing Com