Improving Testing Coverage for Safety-Critical System by Mutated Specification.

Tingliang Zhou, Haiying Sun, Jing Liu, Xiaohong Chen, Dehui Du

Browse the full APSEC paper archive.