Jiseong Bak

Static Analysis Engineer

Education
MSc in Computer Science
(Advisor: Hakjoo Oh)
Korea University
BSc in Electrical Engineering
Korea University

Automated Test Case Generator for Java

Overall System

  • Paper: [ASE 2024]
  • Tool: [NPETest]
  • Benchmark Tools: [EvoSuite] [Randoop]

    • Data-driven Search Heuristics for Dynamic Symbolic Execution

    Overall System

  • Paper: [IEEE TSE]
  • Tool: [DD-KLEE]
  • Baseline Tool: [KLEE] [KLEE-homepage]