Skip to primary navigation
Skip to content
Skip to footer
Jiseong's Homepage
Software Analysis Research
About
Research
Posts
Trips
Toggle menu
Jiseong Bak
Software Engineer & Researcher
Education
MSc in Computer Science
(Advisor:
Hakjoo Oh
)
Korea University
BSc in Electrical Engineering
Korea University
Follow
Seoul, Korea
Curriculum Vitae
Linkedin
GitHub
X
Research
Automated Test Case Generator for Java
Data-driven Search Heuristics for Dynamic Symbolic Execution
Paper: [
IEEE TSE
]
Tool: [
DD-KLEE
]
Baseline Tool: [
KLEE
] [
KLEE-homepage
]
