Iftekhar Ahmed

Latest

• How verified (or tested) is my code? Falsification-driven verification and testing
• Applying Mutation Analysis on Kernel Test Suites: An Experience Report
• Does choice of mutation tool matter?
• Mutation Reduction Strategies Considered Harmful
• Can testedness be effectively measured?
• Measuring Effectiveness of Mutant Sets
• On the limits of mutation reduction strategies