Issue Date: 6-10 April 2010rnrntOn page(s): rnt37rnttrn- 45rnrnrnLocation: Paris, FrancernrnPrint ISBN: 978-1-4244-6773-0rnrnrnrnttrnDigital Object Identifier: href='http://dx.doi.org/10.1109/ICSTW.2010.51' target='_blank'>10.1109/ICSTW.2010.51 rnrnDate of Current Version: trnrnt2010-05-13 13:19:48.0rnrnt rntt class="body-text">rntname="Abstract">>Abstractrn>New coverage criteria for Boolean expressions are regularly introduced with two goals: to detect specific classes of realistic faults and to produce as small as possible test suites. In this paper we investigate whether an approach targeting specific fault classes using several reduction policies can achieve that less test cases are generated than by previously introduced t;
Boolean expressions; DNF testing; Test generation; fault based testing;
机译:为通用布尔规范生成最小的故障检测测试套件
机译:测试分布式系统:生成最少的同步测试序列,以检测输出移位故障
机译:选择作业的健身功能:自动生成检测真实故障的测试套件
机译:为布尔表达产生最小的故障检测测试套件
机译:对测试套件在实践中针对由动态符号执行生成的测试套件的实证研究。
机译:专用微创手术室中的手术流程障碍:一项观察性研究以评估其相对于常规室的优越性
机译:为布尔表达式生成最小的故障检测测试套件