Pinned Repositories
tada
:tada: tada!: auTomAtic orDer of growth Analysis
schemaanalyst
:curly_loop: Search-based Test Data Generation for Relational Database Schemas
PyGo-Portfolio-Tracker
A simple and easy tool to track and visualize stock market investments
TicTacToe
An intuitive and visual game of tic tac toe with multiple mode built with Python, Pytest, and PySimpleGUI.
avmf
:nut_and_bolt: Framework and Java implementation of the Alternating Variable Method
ExpOse
A tool for inferring worst-case time complexity by an automated empirical study
mrstudyr
A tool for retrospectively studying mutant reduction strategies in an attempt to reduce the cost of mutation testing.
speed-surprises
:confetti_ball: A Python 3 Package with Functions Analyzable by Tada, the tool for auTomAtic orDer of growth Analysis
Tada-Generate-Functions
A Python 3 Package with Data Generation Functions for Tada, the tool for auTomAtic orDer of growth Analysis
GatorGallery's Repositories
GatorGallery/TicTacToe
An intuitive and visual game of tic tac toe with multiple mode built with Python, Pytest, and PySimpleGUI.
GatorGallery/tada
:tada: tada!: auTomAtic orDer of growth Analysis
GatorGallery/speed-surprises
:confetti_ball: A Python 3 Package with Functions Analyzable by Tada, the tool for auTomAtic orDer of growth Analysis
GatorGallery/PyGo-Portfolio-Tracker
A simple and easy tool to track and visualize stock market investments
GatorGallery/schemaanalyst
:curly_loop: Search-based Test Data Generation for Relational Database Schemas
GatorGallery/Tada-Generate-Functions
A Python 3 Package with Data Generation Functions for Tada, the tool for auTomAtic orDer of growth Analysis
GatorGallery/avmf
:nut_and_bolt: Framework and Java implementation of the Alternating Variable Method
GatorGallery/ExpOse
A tool for inferring worst-case time complexity by an automated empirical study
GatorGallery/mrstudyr
A tool for retrospectively studying mutant reduction strategies in an attempt to reduce the cost of mutation testing.