Keyword:early bug detection.

Publications
EasyChair Preprint 13851