@srgimperial.bsky.social
+ Follow
9
followers
5
following
5
posts
Posts
Media
Videos
Starter Packs
srgimperial.bsky.social
@srgimperial.bsky.social
· Jun 20
Our Ahmed Zaki just presented "Understanding API usage and Testing: An empirical study of C libraries" at EASE 2025.
#EASE25
1
srgimperial.bsky.social
@srgimperial.bsky.social
· Apr 4
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...
1
2
srgimperial.bsky.social
@srgimperial.bsky.social
· Apr 2
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/
2
4
srgimperial.bsky.social
@srgimperial.bsky.social
· Mar 17
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.
1
2
srgimperial.bsky.social
@srgimperial.bsky.social
· Mar 6
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
2
4
