I obtained my PhD in the Software Verification, Validation and Testing (SVVAT) group at the University of Texas at Austin (hook’em) in 2017. My adviser is Sarfraz Khurshid. I obtained my M.S. degree in software engineering at UT Austin in 2014 and my B.S. degree in software engineering from The University of Texas at Dallas in 2012 (whoosh). My PhD dissertation can be found here.
My main goal is to improve software reliability by focusing on:
- Automated Software Engineering: Test/Oracle Generation, Automated Bug Localization and Repair, Regression Testing, and Mutation Testing
- Formal Methods and Programming Languages: Model Based Testing, First-Order Logic, Program Synthesis, Model Checking and Symbolic Execution
- Upcoming Service: ICSE 2022 Demo (PC Member), DOE ASCR Panelist, Software and Systems Modeling Reviewer, TOSEM Reviewer
- July 2021: One paper accepted into ISSRE 2021!
- June 2021: One paper accepted into FSE Demo 2021. Congratulations Tanvir!
- June 2021: I have recieved a NSF FmitF award to investigate improvements to Alloy’s scenario finding functionality.
- March 2021: I will be a judge for UTA’s College of Engineering Innovation Day.
- February 2021: I am a member of the Software Engineering Research Center (SERC) at UTA.
- February 2021: I will be sitting on the “Career Paths in Computing” panel at the Student Computing. Research Festival (SCRF) cohosted by UTA and UNT.
- February 2021: I will be sitting on the “The Graduate School Experience” panel at OurCS@DFW cohosted by UTA and UNT.
- Janurary 2021: I will be offering a Workshop on Software Engineering vs Computer Science at the Digital Divas 2021 event.
- Janurary 2021: I will be offering a Workshop on Z3 at OurCS@DFW cohosted by UTA and UNT.
- September 2020: I am a member of the following Broadening Participation in Computing (BPC) sub committees at UTA: BPC Student Awards, External BPC Conferences and K-12 Outreach sub-committees.
- September 2020: Attending TAPIA as a volunteer for the UTA booth.
- August 2020: I am the co-advisor for Society of Women Engineers (SWE) at UTA.
- August 2020: One paper accepted into ISSRE 2020 “Fault Localization for Declarative Models in Alloy”
- More: (Older News).
I love puzzles just as much as my cat likes laying out over all the puzzle pieces. In my downtime, I play video games: I have a weekly discord get together with all my close friends in Texas. I equally enjoy getting out of the house. Since I stopped running marathons, I’ve taken to hiking – I have a goal to visit every national park in the United States. I am also eager to get out and explore the world – I enjoy backpacking with my husband internationally.