Combining bug detection and test case generation

Keyphrases

• Automatic Test Generation 50%
• Bug Detection 100%
• Bug Finding Tools 50%
• Engineering Activities 50%
• False Positive Rate 50%
• Generate Test Case 50%
• Input-output 100%
• Oracle Problem 50%
• Regression Test Suite 50%
• Software Engineering 50%
• Static Bug Finding 50%
• Test Case Generation 100%
• Test Generation Tools 50%

Computer Science

• Case Generation 100%
• False Positive Rate 50%
• Input/Output 100%
• Regression Test 50%
• Software Engineering 50%
• Test Generation 50%