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: SPIN 2020 (PC Member), ESEC/FSE 2020 Tool Demonstrations Track (PC Member)
- June 2020: Started working as an assistant professor at UTA.
- May 2020: One paper accepted at ISSTA 2020 Tools and Demostrations Track “ProFL: A Fault Localization Framework for Prolog” - Congratulations George!
- May 2020: Congratulations to Jasmine Mabrey for being given the “Outstanding Rising Scholar Award” by the graduate college at NC A&T for her M.S. Thesis work.
- April 2020: I am Co-PI on a 20 member interdisciplinary team selected for NASA’s University Leadership Initiative. Our focus is on verifying the interaction between multiple unmanned aerial vehicles. Total: 8M, My Share: 635k.
- April 2020: I have accepted a position as an Assistant Professor in the Computer Science and Engineering Department at UT Arlington starting in Fall 2020.
- March 2020: Congratulations to George Thompson for being nominated by the Department Chair for NC A&T’s “Outstanding Thesis Award” for his M.S. Thesis work.
- March 2020: Congratulations to Jasmine Mabrey (Automated Defect Classification using Machine Learning) and George Thompson (Towards Automated Fault Localization for Prolog Models) on their successful Master Thesis proposals! Proud of you guys!!
- February 2020: I am a Performer on the Naval Research Laboratory project “Assured Development and Operation of Autonomous Systems (ADAS)” funded by the DoD Research and Engineering Modernization program. Lead PI: Constance Heitmeyer. Total: 45M, My Share: 885k.
- February 2020: Lead organizer for the 2020 Triad Programming Contest.
- Janurary 2020: Faculty advisor for the NC A&T student team competing in the 3rd Annual AMIE Design Challenge at the 2020 Black Engineer of the Year Award Conference (BEYA 2020).
- December 2019: Participating in a female engineer focus group on how to prepare students for careers as researchers as part of an NSF Innovations in Graduate Education: Developing a Research Engineer Identity grant.
- December 2019: Congratulations to Mr. Derrick LeFlore for his successful MS defense and congratulations to Mrs. Hanan Alshahr and Mr. Shannon Brown for their successful PhD and MS proposals respectively.
- November 2019: Presented our paper “Solution Enumeration Abstraction – A Modeling Idiom to Enhance a Lightweight Formal Method” at ICFEM 19.
- October 2019: Attended the 2019 Grace Hopper Celebration as a Faculty Scholar.
- September 2019: I am the faculty advisor for the Society of Women Engineers (SWE) NC A&T branch.
- August 2019: Our paper “Solution Enumeration Abstraction – A Modeling Idiom to Enhance a Lightweight Formal Method” got accepted into ICFEM 19.
- August 2019: I received an NSF FMitF award to continue work on verification and synthesis of Alloy models.
- 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.