Paul E. McKenney

Latest

• How verified (or tested) is my code? Falsification-driven verification and testing
• Applying Mutation Analysis on Kernel Test Suites: An Experience Report