Sakina Fatima

According to our database, Sakina Fatima authored at least 3 papers between 2023 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2024

Towards Neural Synthesis for SMT-Assisted Proof-Oriented Programming.

Saikat Chakraborty, Gabriel Ebner, Siddharth Bhat, Sarah Fakhoury, Sakina Fatima, Shuvendu K. Lahiri, Nikhil Swamy

CoRR, 2024

2023

Flakify: A Black-Box, Language Model-Based Predictor for Flaky Tests.

Sakina Fatima, Taher Ahmed Ghaleb, Lionel C. Briand

IEEE Trans. Software Eng., April, 2023

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

Sakina Fatima, Hadi Hemmati, Lionel C. Briand

CoRR, 2023