The past, present, and future of mutation testing, and the role of Large Language Models (LLMs) in revolutionizing the field.

I read a study about using Large Language Models (LLMs) for mutation testing. Here are my thoughts.

Sharing my computer science senior thesis on mutation coverage from Rose-Hulman Institute of Technology.

Generating effective test cases is crucial for thorough software testing. However, creating test cases that capture all potential scenarios can be a complex task. In this blog, I explore the use of Klee symbolic execution engine to create test cases and examine how mutation testing can improve the quality of these cases.

I have been reading and exploring a lot about symbolic execution lately. Very fascinating stuff. Reading about it is one thing, but actually implementing it is another. I decided to build a tiny symbolic executor in Python with less than 70 lines of code to get a better understanding of how it actually works. I will be using the Z3 Theorem Prover to solve the constraints generated by the symbolic execution executor.