How verified (or tested) is my code? Falsification-driven verification and testing

Keyphrases

• Formal Verification 100%
• Falsification 100%
• Scientific Theory 50%
• Novel Variation 50%
• Linux Kernel 50%
• Random Testing 50%
• Model Checker 50%
• Automated Test Generation 50%
• Mutation Analysis 50%
• JavaScript Engine 50%
• Critical Modules 50%
• Read-Copy-Update 50%
• Update Mechanism 50%
• Detect Fault 50%
• Program Behavior 50%
• Falsifiability 50%

Computer Science

• Formal Verification 100%
• Driven Verification 100%
• Data Structure 50%
• Automated Test 50%
• Model Checking 50%
• Scientific Theory 50%
• Test Generation 50%
• model checker 50%
• Linux 50%
• Update Mechanism 50%