Sign in

Seongmin Lee

@nimgnoeseel.bsky.social
18 followers 50 following 4 posts

🎲 A board game geek, 🏸 a badminton lover, and a postdoc researcher @UCLA working on dynamic and statistical program analysis.

PostsRepliesMedia
Reposted by Seongmin Lee
Marcel Böhme @mboehme.bsky.social · 25/12/2025
Which is better? Asking your distant Uncle Barry for the Top10 restaurants in NY or consulting the Michelin Guide? Well, turns out that bug-based fuzzer benchmarking is much like Uncle Barry. Random and noisy. Accepted at #FSE26. Led by Ardi Madadi, @is-eqv.bsky.social, and @nimgnoeseel.bsky.social
1133
Reposted by Seongmin Lee
Yannic Noller @yannicnoller.bsky.social · 29/06/2025
🚨 Our amazing #FUZZING'25 keynotes are online! "Constraining Fuzzing without Paying Too Much" by Miryung Kim youtu.be/L90MBb6NLBE "Are you sure you belong in academia?" by Will Wilson youtu.be/qQGuQ_4V6WI // @mboehme.bsky.social, László Szekeres, @rohan.padhye.org, @ruijiemeng.bsky.social
1116
Seongmin Lee @nimgnoeseel.bsky.social · 10/05/2025
💥 Fuzzing found a crash—but how do we debug it? We present DiffMin, a technique that makes crashing inputs closer to passing ones while keeping the crash. This helps localize and diagnose crashes more precisely. Just accepted to FSE’25 Posters 🎉 📄 arxiv.org/abs/2505.02305 #FSE25 #fuzzing #debugging
arxiv.org
Refining Fuzzed Crashing Inputs for Better Fault Diagnosis
We present DiffMin, a technique that refines a fuzzed crashing input to gain greater similarities to given passing inputs to help developers analyze the crashing input to identify the failure-inducing...
000
Reposted by Seongmin Lee
Andreas Zeller @andreaszeller.bsky.social · 29/04/2025
A new look! We have created a new version of The Fuzzing Book, based on #JupyterBook, bringing * easier navigation * dark mode * search * mobile layout and lots of other features. Check it out at www.fuzzingbook.org/beta/html/in... Should we continue with this new look? Comments are welcome!
Web site of The Fuzzing Book in new, three-column layout
0153
Reposted by Seongmin Lee
Marcel Böhme @mboehme.bsky.social · 26/04/2025
Feature of our #ICLR'25 Spotlight paper, just presented in Singapore. www.mpi-sp.org/81927/news_p...
mpi-sp.org
How solving classic probability problems can help computer scientists find bugs
How solving classic probability problems can help computer scientists find bugs
0133
Reposted by Seongmin Lee
Andreas Zeller @andreaszeller.bsky.social · 28/04/2025
In today's #AST2025 keynote on our new #Fandango fuzzer, I presented ongoing extensions for protocol fuzzing, oracle checking, coverage guidance, much more. Slides now available: conf.researchr.org/details/ast-...
conf.researchr.org
Personalized Fuzzing (AST 2025) - AST 2025
The 6th ACM/IEEE International Conference on Automation of Software Test (AST 2025) Software pervasiveness in both industry and digital society, as well as the proliferation of Artificial Intelligenc...
1133
Reposted by Seongmin Lee
Marcel Böhme @mboehme.bsky.social · 24/04/2025
Our paper "Top Score on the Wrong Exam" paper will be presented at #ISSTA25 🐣 in Trondheim! 📝https://mpi-softsec.github.io/papers/ISSTA25-topscore.pdf 🧑‍💻https://github.com/niklasrisse/TopScoreWrongExam // @nrisse.bsky.social @fuzzing.bsky.social
1205
Seongmin Lee @nimgnoeseel.bsky.social · 14/04/2025
Can we foresee the unseen in software testing? I’ll share how statistical magic helps us quantify residual risk and make testing results more accountable and reliable✨Thanks for the invite! 🙏 Join my tutorial @ SBST (co-located w/ ICSE) 🖥️ sbft25.github.io 📅 28.04. 14:30 GMT-4 (live on Twitch too)
031
Seongmin Lee @nimgnoeseel.bsky.social · 22/01/2025
🎉 Excited to share that my 1st paper at @iclr-conf.bsky.social has been accepted! Big thanks to my awesome colleague @mboehme.bsky.social and the fantastic SoftSec group #MPI. Marcel has shared a great post with a brief explanation of our work—check it out! 🚀 I’ll share a public version soon!
110