Abstract
背景: 目前的方法难以产生达到PoC或者单元测试质量的高质量测试集合
本文: aspect-preserving mutation
key: 随机地保留所需properties(aspects)
具体来说: structure & type preservation
工具: DIE
实验:
- 能发现5.7x unique crashes, 竞品比DIA多2.4x runtime errros(语义不合格tes cases)
- 在ChakraCore, JSCore, V8中找到48个bug,其中38个fixed, 12个有CVE