Our Ahmed Zaki just presented "Understanding API usage and Testing: An empirical study of C libraries" at EASE 2025. #EASE25

How are mature C/C++ software projects tested by developers? Paper by Thomas Bailey and Cristian Cadar @ccadar.bsky.social presented at ICST 2025. srg.doc.ic.ac.uk/publications...

Our SRG member Manuel Carrasco has presented our paper on "Scalable SMT Sampling for Floating-point Formulas via Coverage-guided Fuzzing" at ICST 2025. @ccadar.bsky.social @afd-icl.bsky.social Check our paper and experiments at srg.doc.ic.ac.uk/projects/jfs/

We are very happy to host Michael Pradel, who just presented his work on "LLM Agents for Program Repair and Project Setup" at our SRG Seminar.

Our own Ahmed Zaki (@pengwinsurf.bsky.social) just presented his APISlicer work with a talk titled "Generating and contributing test cases for C libraries from client code: A case study" at SANER 2025! #SANER2025