@srgimperial.bsky.social
9 followers 5 following 5 posts
Posts Media Videos Starter Packs
srgimperial.bsky.social
Our Ahmed Zaki just presented "Understanding API usage and Testing: An empirical study of C libraries" at EASE 2025. #EASE25
Ahmed Zaki presenting "Understanding API usage and Testing: An empirical study of C libraries" Ahmed Zaki presenting "Understanding API usage and Testing: An empirical study of C libraries" Ahmed Zaki presenting "Understanding API usage and Testing: An empirical study of C libraries"
srgimperial.bsky.social
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...
srgimperial.bsky.social
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/
srgimperial.bsky.social
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.
Michael Pradel presenting a slide from his talk "LLM Agents for Program Repair and Project Setup"
srgimperial.bsky.social
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