Research Software
- afluent: Pytest plugin to support automated fault localization
- avmf: Extensible framework for the search-based alternating variable method
- commitcanvas: Prediction of commit labels for version control messages
- expose: Doubling experiments to infer actual-worst-case time complexity
- testinspect: Pytest plugin to characterize Pytest test suites
- kanonizo: Effective automated regression test suite prioritization for JUnit
- major: Easy and scalable mutation testing for the Java programming language
- mrstudyr: Retrospectively study effectiveness of mutation testing techniques
- redecheck: Automated checking of responsively designed web pages
- schemaanalyst: Data generation and mutation analysis for database schemas
- showflakes: Pytest plugin for automatically finding flaky tests
- tada: Automated order-of-growth analysis for Python functions
- viser: Automated visual verification of responsive layout failure reports
Research Resources
Research Papers
Technical Presentations
Replication Packages
Educational Software
- dockagator: Docker container and infrastructure for GatorGrader
- gatorgrader: Automated assessment for source code and writing
- gatorgradle: Gradle plugin for efficient use of GatorGrader
- gatorgrouper: Group formation tool for team-based courses
- sheetshuttle: Tool for data transfer between Google Sheets and GitHub
- seed: Analyzer and displayer of responses to the SEED survey
Teaching Materials
- cs102F2020: Course content for Computer Science 102 Fall 2020
- cs302F2020: Course content for Computer Science 302 Fall 2020
- cs100S2020: Course content for Computer Science 100 Spring 2020
- cs203S2020: Course content for Computer Science 203 Spring 2020
- cs100F2019: Course content for Computer Science 100 Fall 2019
- cs101F2019: Course content for Computer Science 101 Fall 2019
- cs203S2019: Course content for Computer Science 203 Spring 2019
- cs302S2019: Course content for Computer Science 302 Spring 2019
- cs481S2019: Course content for Computer Science 481 Spring 2019
- cs100F2018: Course content for Computer Science 100 Fall 2018
- cs101F2018: Course content for Computer Science 101 Fall 2018
- cs103S2018: Course content for Computer Science 103 Spring 2018
- cs112S2018: Course content for Computer Science 112 Spring 2018
- cs111F2017: Course content for Computer Science 111 Fall 2017
- cs280F2017: Course content for Computer Science 280 Fall 2017
- cs600F2017: Course content for Computer Science 600 Fall 2017
- cs111S2017: Course content for Computer Science 111 Spring 2017
- fs102S2017: Course content for First-Year/Sophomore 102 Spring 2017
- cs111F2016: Course content for Computer Science 111 Fall 2016
- cs112F2016: Course content for Computer Science 112 Fall 2016
- cs111S2016: Course content for Computer Science 111 Spring 2016
- cs441S2016: Course content for Computer Science 441 Spring 2016
- cs111F2015: Course content for Computer Science 111 Fall 2015
- cs280F2015: Course content for Computer Science 280 Fall 2015
Software Configurations
- dotfiles: Configuration files for my development environment
- tmuxinators: Configuration files for the terminal multiplexor
- vim-vitamin-onec: Dark color scheme for Vim and Neovim
Defect Reports
Legacy Software
- gelations: Test suite prioritization with order-based genetic algorithms
- modificare: Reproducible experimentation with regression testing techniques
- proteja: Easy-to-use techniques for test suite reduction and prioritization
- raise: Comprehensive test suite execution and management
