Published on

Comparative Study of Mutation Testing with AI-Driven Mutants: GNU Tests vs. KLEE Tests Mutation Coverage

Authors
  • avatar
    Name
    Steven Jung

Today marks the end of my computer science journey, a milestone filled with pride and deep gratitude. Working on my senior thesis was an absolute joy. Here is a link to my thesis for anyone interested in learning about mutation coverage between manually written tests and automatically generated tests using symbolic execution.

As I look to the future, I am excited to further explore AI and software testing, eager to see what these fields bring to the real world.