What are relevant citations on smt fuzzing?

It's research intern application season at MSR. Come work with us at RiSE!

jobs.careers.microsoft.com/global/en/job/…

The LPAR-25 (last week of May 2024) CFP just dropped.
easychair.org/cfp/lpar2024

LPAR-25, Flic-en-Flac Mauritius, 26-31st May 2024

After dinner study group at Shonan with Armin Biere Roopsha Samanta, Nina Narodytska, Matti, Katalin, Aina,Mathias, Vijay Ganesh, Oliver Kullmann, Katsumi Inoue

It was lovely to receive a visit from Maria Christakis and Numair Mansur last week when they were in town for ISSTA.

Great last few days at Netys near Marrakech with Ahmed Boujjani, Ruzica, Thomas, Lenore, Nate, Prakash, Giles and many participants. Keynote on formal methods at Microsoft yesterday and well attended z3 student tutorial today.