Intelligent test case generation based on branch and bound
邢颖 宫云战 王雅文 张旭舟
Acta Metallurgica Sinica(English letters) . 2014, (2): 91 -97 .  DOI: 10.1016/S1005-8885(14)60291-0