Identifying Useful Mutants to Test Time Properties.
2018 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW)（2018）
关键词
mutation testing,model-based testing,mutant subsumption,real-time systems,embedded systems
AI 理解论文
溯源树
样例
生成溯源树，研究论文发展脉络
Chat Paper
正在生成论文摘要