Do Not Blame Me Mining and Mutating Type Checker Bugs; An LLM-Driven Approach to Differential Testing

Author

Benedek Kaibas

Posts

Reflect on your experiences preparing for and giving your presentation
🧠 reflection
For our senior comprehensive project it is required for us to give a presentation about our prototype. This presentation serves as a proof that we know the fundamental of…
Dec 4, 2025
Word Count 335 words

Feedback for Two of My Classmates
📢 feedback
As we approach the end of the semester I completed my chapter one and I am right now working on my chapter 2 for the senior comprehensive project. I am also developing my…
Nov 24, 2025
Word Count 409 words

Reflection on the current version of my computational artifact
🧠 reflection
At this point I have implemented the prototype of my tool and gave my first presentation for the Senior Seminar. So far my prototype works as I expect it to work, but there…
Oct 14, 2025
Word Count 511 words

Chapter Two of My Senior Thesis
🗃️ activity
Python’s rise as one of the world’s most popular programming languages has come with a major trade-off: while its dynamic typing model accelerates development, it also opens…
Oct 11, 2025
Word Count 586 words

Chapter One of My Senior Thesis
🗃️ activity
Chapter one of the senior thesis project is about the introduction to our research/tool. In this post I will give you an introduction to my senior thesis. By the end of this…
Oct 11, 2025
Word Count 512 words

The Title of My Project
🗃️ activity
I was thinking a lot about choosing the correct title for my tool. I wanted something meaningful, but also related to Python and the research I am working on. Since, my tool…
Oct 7, 2025
Word Count 278 words
No matching items

Changelogs