Improving Testing Coverage for Safety-Critical System by Mutated Specification

Tingliang Zhou, Haiying Sun, Jing Liu, Xiaohong Chen, Dehui Du. Improving Testing Coverage for Safety-Critical System by Mutated Specification. In Sungdeok (Steve) Cha, Yann-Gaël Guéhéneuc, Gihwon Kwon, editors, 21st Asia-Pacific Software Engineering Conference, APSEC 2014, Jeju, South Korea, December 1-4, 2014. Volume 1: Research Papers. pages 43-46, IEEE, 2014. [doi]

Authors

Tingliang Zhou

This author has not been identified. Look up 'Tingliang Zhou' in Google

Haiying Sun

This author has not been identified. Look up 'Haiying Sun' in Google

Jing Liu

This author has not been identified. Look up 'Jing Liu' in Google

Xiaohong Chen

This author has not been identified. Look up 'Xiaohong Chen' in Google

Dehui Du

This author has not been identified. Look up 'Dehui Du' in Google