- February 2025: Our REU project “Automated Verification of Historical Map Translations into Vector-Based GIS Data” got selected for departmental support. Thank you CSE@UTA! And congrats Talia!
- Janurary 2025: One paper accepted in FormaliSE 2025. Congratulations Ana and Mohammad!
- December 2024: One paper accepted into LLM4Code 2025. Congratulations Sanyogita and Anahita!
- November 2024: Congratulations Dr. Ana Jovanovic on successfully defending her dissertation titled “Improving the Accuracy of Software Models Using Refinement and Mutation Testing”
- November 2024: Congratulations to Dr. Sullivan for receiving the UTA CSE department “Rising Star Research Award”
- October 2024: Our invited paper “Mutation testing for temporal alloy models (extended version)” has been published in SySoM. Congratulations Ana!
- August 2024: Our paper “Right or Wrong – Understanding How Users Write Software Models in Alloy” accepted into SEFM 2024. Congratulations Ana!
- June 2024: Our Seminar “Specification Engineering: Foundations for the Future of Software Development” has been accepted as a 5-day Dagstuhl Seminar. Allison will be an organizer along with Marsha Chechik, Eunsuk Kang, Shahar Maoz and Jan Oliver Ringert.
- June 2024: One paper “AlloyASG: Alloy Predicate Code Representation as a Compact Structurally Balanced Graph” accepted into MODELS 2024. Congratulations Augustus on his first first author publication!
- June 2024: One paper “Does Every Computer Scientist Need to Know Formal Methods?” published in Formal Aspects of Computing.
- May 2024: Congratulations Augustus on passing his comprehensive exam! He is officially a PhD candidate at UTA.
- April 2024: Congratulations Ana on passing her PhD Proposal!
- March 2024: Congratulations Augustus on his pre-print of AlloyASG: Alloy Predicate Code Representation as a Compact Structurally Balanced Graph.
- Feburary 2024: Congratulations Ana on her pre-print of Empirically Exploring How Novices Write Software Models in Alloy.
- Janurary 2024: One paper “ LLM4TDD: Best Practices for Test Driven Development Using Large Language Models” accepted into LLMCODE@ICSE 2024. Congratulations Sanyogita!
- December 2023: Congratulations Allison on receiving a NSF CAREER Award grant to work on integrating live programming practices into finite model finders with the aim to ease the burden of learning software modeling. Total: 525k
- December 2023: Congratulations Sanyogita on her pre-print of LLM4TDD: Best Practices for Test Driven Development Using Large Language Models.
- November 2023: Congratulations Augustus on his pre-print of Structural Balance of Complex Weighted Graphs and Multi-partite Consensus.
- November 2023: Congratulations Augustus on passing his diagnostic exam!
- July 2023: One paper “Crucible: Graphical Test Cases for Alloy Models” accepted into ISSRE 2023. Congratulations Adam!
- July 2023: One paper “Live Programming for Finite Model Finders” accepted into ASE NIER 2023.
- June 2023: Two papers accepted into MODELS 2023. Congratulations Ana!
- April 2023: Congratulations Anahita on passing her comprehensive exam! She is officially a PhD candidate at UTA.
- January 2023: Congratulations Allison on the arrivial of baby Arcadia!
- December 2022: Congratulations Ana on passing her comprehensive exam! She is officially a PhD candidate at UTA.
- November 2022: One paper “Abstract Alloy Instances” accepted into FM 2023.
- September 2022: Our recent NSF grant is being talked about in the media.
- July 2022: One paper “REACH: Refining Alloy Scenarios by Size” accepted into ISSRE 2022. Congratulations Ana!
- July 2022: We have received a NSF CISE Core grant to work on incremental analysis of software models across their development, testing and synthesis.
- April 2022: Congratulations Anahita and Ana on passing your diagnostic exams!
- March 2022: One paper “Towards Automated Input Generation for Sketching Alloy Models” accepted into FormaliSE 2022. Congratulations Ana!
- Feburary 2022: Congratulations Anahita on getting her master’s thesis work written up in Wired.
- Feburary 2022: Hosted a workshop on z3 at OurCS@DFW.
- Decemeber 2021: Resha presented her work on current limtiations of automated repair tools at UTA’s UROP Fall semester wrap up.
- October 2021: Presented our solution enumeration tool Hawkeye at ISSRE2021.
- July 2021: One paper accepted into ISSRE 2021!
- June 2021: One paper accepted into FSE Demo 2021. Congratulations Tanvir!
- June 2021: Allison recieved a NSF FmitF award to investigate improvements to Alloy’s scenario finding functionality.
- March 2022: One paper “Towards Automated Input Generation for Sketching Alloy Models” accepted into FormaliSE 2022. Congratulations Ana!
- Feburary 2022: Congratulations Anahita on getting her master’s thesis work written up in Wired.
- Feburary 2022: Hosted a workshop on z3 at OurCS@DFW.
- Decemeber 2021: Resha presented her work on current limtiations of automated repair tools at UTA’s UROP Fall semester wrap up.
- October 2021: Presented our solution enumeration tool Hawkeye at ISSRE2021).
- July 2021: One paper accepted into ISSRE 2021!
- June 2021: One paper accepted into FSE Demo 2021. Congratulations Tanvir!
- June 2021: Allison has recieved a NSF FmitF award to investigate improvements to Alloy’s scenario finding functionality.
- February 2021: Allison has joined the Software Engineering Research Center (SERC) at UTA.
- Janurary 2021: Hosted a Workshop on Z3 at OurCS@DFW cohosted by UTA and UNT.
- August 2020: One paper accepted into ISSRE 2020 “Fault Localization for Declarative Models in Alloy”
- July 2020: Allison is Co-PI on a NSF MRI award to obtain equipment to facilitate research on the interaction between multiple autonomous ground vehicles.
- June 2020: Allison started working as an assistant professor at UTA and moved SCOPE lab to 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: Allison is 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.
- 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!!
- November 2019: Presented our paper “Solution Enumeration Abstraction – A Modeling Idiom to Enhance a Lightweight Formal Method” at ICFEM 19.
- August 2019: Our paper “Solution Enumeration Abstraction – A Modeling Idiom to Enhance a Lightweight Formal Method” got accepted into ICFEM 19.
- August 2019: Allison received an NSF FMitF award to continue work on verification and synthesis of Alloy models.
- June 2019: The AutoDrive challenge team - Aggies Autonomous Auto - placed 2nd in the year 2 competition!
- June 2019: Allison started summer employment at Google as a Faculty in Residence.
- May 2018: Presented accepted paper “ARepair: A Repair Framework for Alloy” at the 41st IEEE/ACM International Conference on Software Engineering (ICSE 2019).