1. 您所在位置：
  2. 网站首页
  3. 文档分类
  4. 人力资源/企业管理
  5. 营销创新

Using Constraints for Equivalent Mutant Detection 英文论文文献.docVIP

  • 5
  • 0
  • 约2.56万字
  • 约 8页
  • 2017-05-08 发布于上海
  • 举报

Using Constraints for Equivalent Mutant Detection 英文论文文献.doc

    Using Constraints for Equivalent Mutant Detection 英文论文文献

    UsingConstraintsforEquivalentMutantDetection? SimonaNica FranzWotawa InstituteforSoftwareTechnology TechnischeUniversit¨atGraz Graz,Austria {snica,wotawa}@ist.tugraz.at Inmutationtestingthequestionwhetheramutantisequivalenttoitsprogramisimportantinorder tocomputethecorrectmutationscore.Unfortunately,answeringthisquestionisnotalwayspossible andcanhardlybeobtainedjustbyhavingalookattheprogram’sstructure.Inthispaperweintroduce amethodforsolvingtheequivalentmutantproblemusingaconstraintrepresentationoftheprogram anditsmutant. Inparticularlytheapproachisbasedondistinguishingtestcases, i.e.,

    您可能关注的文档

    最近下载

    文档评论（0）

    1亿VIP精品文档

    更多 >

    相关文档

    更多 >