[会议]Springer Nature Switzerland AGStructured object-oriented formal language and method  Xu Qin, Shaoying Liu, Zhang Tao

摘要: Mutation testing is a fault-based testing technique that can be used to measure the adequacy of a test set, but its application usually incurs a high cost due to the necessity of generating and executing a great number of mutants.... 展开

翻译摘要
作者 Xu Qin   Shaoying Liu   Zhang Tao  
作者单位
文集名称 Structured object-oriented formal language and method
出版年 2020
出版社/出版地 Springer Nature Switzerland AG / Cham
会议名称 International Workshop on Structured Object-Oriented Formal Language and Method  
开始页/总页数 167 / 20
会议日期/会议地点 20191105 / Shenzhen 会议年/会议届次 2019 / 9th
中图分类号 TP3  
关键词 Mutation testing   Path coverage   Mutant reduction  
馆藏号 N2020060900100021
相关作者
相关关键词