Skip to main navigation
Skip to search
Skip to main content
Korea University Pure Home
Home
Profiles
Research units
Research output
Press/Media
Search by expertise, name or affiliation
Automatic and scalable detection of logical errors in functional programming assignments
Dowon Song, Myungho Lee,
Hakjoo Oh
Research output
:
Contribution to journal
›
Article
›
peer-review
12
Citations (Scopus)
Overview
Fingerprint
Fingerprint
Dive into the research topics of 'Automatic and scalable detection of logical errors in functional programming assignments'. Together they form a unique fingerprint.
Sort by
Weight
Alphabetically
Keyphrases
Logic Error
100%
Programming Assignments
100%
Functional Programming
100%
Verification Method
33%
Automatically Generate
33%
Manual Processes
33%
Human Effort
33%
Testing Method
33%
Type Errors
33%
Semantic Differences
33%
Generation Algorithm
33%
Error-detecting
33%
Property Testing
33%
Enumerative Search
33%
Automated Program Repair
33%
Corner Case
33%
Manual Testing
33%
Counterexample Generation
33%
Functional Program
33%
Symbolic Verification
33%
Diverse Students
33%
Syntax Errors
33%
Computer Science
Functional Programming
100%
Experimental Result
50%
Manual Process
50%
Reference Program
50%
Functional Program
50%