srgimperial.bsky.social @srgimperial.bsky.social · 20/06/2025Our Ahmed Zaki just presented "Understanding API usage and Testing: An empirical study of C libraries" at EASE 2025. #EASE25 010
srgimperial.bsky.social @srgimperial.bsky.social · 04/04/2025How 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... 021
srgimperial.bsky.social @srgimperial.bsky.social · 02/04/2025Our 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/ 042
srgimperial.bsky.social @srgimperial.bsky.social · 17/03/2025We 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. 021
srgimperial.bsky.social @srgimperial.bsky.social · 06/03/2025Our 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 042
