SRG Imperial

Our Ahmed Zaki (@pengwinsurf) 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 @c_cadar presented at ICST 2025. srg.doc.ic.ac.uk/publications/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. @ManuelGCarrasco @c_cadar @afd_icl 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) 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

I have a postdoc position in my group to work on an exciting project at the intersection of program analysis and GenAI: srg.doc.ic.ac.uk/vacancies/post… Reposts appreciated, both here and elsewhere.

It was great to catch up today with the verification community at the 16th VSTTE. My keynote reflected on testing vs. verification, and introduced dynamic symbolic execution as a technique between T & V. Slides for my keynote are now available at: srg.doc.ic.ac.uk/talks/24-dse-v…

@AbhikRoychoudh1 concludes his research visit with a seminar on Fuzz Testing to Find Security Vulnerabilities. Thank you for visiting our group, Abhik, it was great hosting you!

We are very happy to welcome @AbhikRoychoudh1 for his visit and seminar on Trusted Automatic Programming!

@c_cadar is opening the 4th International KLEE Workshop on Symbolic Execution right now. Greetings to everyone from Portugal!

Tevfik Bultan is now presenting the first keynote of the KLEE workshop: Software Complexity, Path Complexity, and Branch Selectivity

It was a pleasure hosting Dr. Ajitha Rajan from the University of Edinburgh @InfAtEd for an intriguing talk about the effect of changes in the computational stack on the deployment of deep learning models

We have a fantastic set of keynotes at the upcoming KLEE'24 workshop: @TevfikBultan, @Tomasz_Kuchta and Corina Pasareanu! srg.doc.ic.ac.uk/klee24/keynote… KLEE'24 is co-located with @ICSEconf in Lisbon, and the early registration deadline is on 12 February!

We had lots of great discussions today at @c_giuffrida's talk about Transient Execution Attacks (TEAs).

@stephanlipp from Technical University Munich visited us today to talk about his work on static analysis guided greybox fuzzing titled "SAST-Guided Greybox Fuzzing".

Today, we hosted @sergey_mechtaev from University College London for a talk on the "Symbolic Execution of Datalog and its Application to Static Analysis Guided Program Repair".

The first (visa-safe) deadline for KLEE 2024 is TODAY, Friday, 3rd November AoE. Submission process is lightweight, and you can present both published and in-progress work! Thanks to everyone who has already submitted! srg.doc.ic.ac.uk/klee24/

One week left until the first (visa-safe) deadline for KLEE 2024! Submission process is lightweight, and you can present both published and in-progress work! Early submission deadline: Friday, 3rd November AoE srg.doc.ic.ac.uk/klee24/

We recently had the pleasure of hosting @ShaohuaLi8 from ETH Zurich for a seminar on his recent work, in collaboration with @zhendongsu, on detecting bugs in compiler sanitizers.