Mutation-Based Testing of Format String Bugs | IEEE Conference Publication | IEEE Xplore