Sakina Fatima

Publication Activity (10 Years)

Years Active: 2021-2024
Publications (10 Years): 4

Top Topics

Candidate Solutions

Complete Axiomatization

Top Venues

IEEE Trans. Software Eng.

Publications

Saikat Chakraborty, Gabriel Ebner, Siddharth Bhat, Sarah Fakhoury, Sakina Fatima, Shuvendu K. Lahiri, Nikhil Swamy
Towards Neural Synthesis for SMT-Assisted Proof-Oriented Programming. CoRR (2024)
Sakina Fatima, Hadi Hemmati, Lionel C. Briand
Black-Box Prediction of Flaky Test Fix Categories Using Language Models. CoRR (2023)
Sakina Fatima, Taher Ahmed Ghaleb, Lionel C. Briand
Flakify: A Black-Box, Language Model-Based Predictor for Flaky Tests. IEEE Trans. Software Eng. 49 (4) (2023)
Sakina Fatima, Taher Ahmed Ghaleb, Lionel C. Briand
Flakify: A Black-Box, Language Model-based Predictor for Flaky Tests. CoRR (2021)