[IEEE 2010 IEEE 26th International Conference on Software Maintenance (ICSM) - Timi oara, Romania (2010.09.12-2010.09.18)] 2010 IEEE International Conference on Software Maintenance - Test generation via Dynamic Symbolic Execution for mutation testing
Zhang, Lingming, Xie, Tao, Zhang, Lu, Tillmann, Nikolai, de Halleux, Jonathan, Mei, HongYear:
2010
Language:
english
DOI:
10.1109/ICSM.2010.5609672
File:
PDF, 449 KB
english, 2010