Java Test Killer is a source code quality product that verifies if all test methods contain assertions.