Picture for Sakina Fatima

Sakina Fatima

Towards Neural Synthesis for SMT-Assisted Proof-Oriented Programming

Add code
May 03, 2024
Viaarxiv icon

Black-Box Prediction of Flaky Test Fix Categories Using Language Models

Add code
Jun 21, 2023
Viaarxiv icon