Automatic and scalable detection of logical errors in functional programming assignments

Keyphrases

• Automated Program Repair 33%
• Automatically Generate 33%
• Corner Case 33%
• Counterexample Generation 33%
• Diverse Students 33%
• Enumerative Search 33%
• Error-detecting 33%
• Functional Program 33%
• Functional Programming 100%
• Generation Algorithm 33%
• Human Effort 33%
• Logic Error 100%
• Manual Processes 33%
• Manual Testing 33%
• Programming Assignments 100%
• Property Testing 33%
• Semantic Differences 33%
• Symbolic Verification 33%
• Syntax Errors 33%
• Testing Method 33%
• Type Errors 33%
• Verification Method 33%

Computer Science

• Experimental Result 50%
• Functional Program 50%
• Functional Programming 100%
• Manual Process 50%
• Reference Program 50%