Mutation-Based Testing of Buffer Overflow Vulnerabilities | IEEE Conference Publication | IEEE Xplore