2024

ASE 2024 IEEE/ACM International Conference on Automated Software Engineering

• Distinguished paper award: Presented to Muhammad A. A. Pirzada, Giles Reger, Ahmed Bhayat, Lucas C. Cordeiro, For "LLM-Generated Invariants for Bounded Model Checking Without Loop Unrolling", the award.

6th Intl. Competition on Software Testing (Test-Comp 2024)

• Gold medal in the Cover-Error category (find a test covering a bug).
• Gold medal in the Cover-Branches category (find tests for branch coverage).
• Gold medal in the Overall category (Cover-Error and Cover-Branches).

2023

5th Intl. Competition on Software Testing (Test-Comp 2023)

• Gold medal in the Cover-Error category (find a test covering a bug).
• Gold medal in the Cover-Branches category (find tests for branch coverage).
• Gold medal in the Overall category (Cover-Error and Cover-Branches).

2022

4th Intl. Competition on Software Testing (Test-Comp 2022)

• Gold medal in the Cover-Error category (find a test covering a bug).
• Gold medal in the Cover-Branches category (find tests for branch coverage).
• Gold medal in the Overall category (Cover-Error and Cover-Branches).

2021

Best paper award of AISafety’21 Workshop at IJCAI’21

3th Intl. Competition on Software Testing (Test-Comp 2021)

• Gold medal in the Cover-Error category (find a test covering a bug).
• Silver medal in the Overall category (Cover-Error and Cover-Branches to find tests for branch coverage).