Software

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

avm-bibliography: References on search-based methods
curriculum-vitae: A curriculum vitae using moderncv and moderntimeline
flaky-tests-bibliography: References on flaky test cases
new-paper: Template for writing a research paper in LaTeX
python-talk-abstracts: Details about my Python-related presentations
research-bibliography: References for all of my research deliverables
schemaanalyst-bibliography: References on testing database applications

Research Papers

avmframework-paper: Source code for a research paper at SSBSE 2016
ast2016-paper: Source code for a research paper at AST 2016
icsme2016-mrstudyrtool-paper: Source code for a tool paper at ICSME 2016
icsme2016-satool-paper: Source code for a tool paper at ICSME 2016
sbst2016-paper: Source code for a research paper at SBST 2016
seke2015-paper: Source code for a research paper at SEKE 2015
seke2015-tool-paper: Source code for a tool paper at SEKE 2015
per2012-paper: Source code for a research paper in the PER journal

Technical Presentations

pyohio2021-presentation: Slides for a presentation at the PyOhio 2021 conference
pycon2019-functionfiasco-poster: Slides for a poster at the PyCon 2019 conference
pycon2019-gatorgrouper-poster: Slides for a poster at the PyCon 2019 conference
pyohio2019-presentation: Slides for a presentation at the PyOhio 2019 conference
pygotham2018-presentation: Slides for a presentation at the PyGotham 2018 conference
pyohio2018-presentation: Slides for a presentation at the PyOhio 2018 conference
icsme2016-presentation: Slides for the presentation of an ICSME 2016 tool paper
icsme2016-tool-presentation: Slides for the presentation of an ICSME 2016 tool paper
ssbse2016-presentation: Slides for the presentation of an SSBSE 2016 paper
sbst2016-presentation: Slides for the presentation of an SBST 2016 paper
allegheny2015-presentation: Slides for a presentation at Allegheny College in 2015
seke2015-panel-presentation: Slides for the SEKE 2015 panel on big data
seke2015-presentation: Slides for the presentation of a SEKE 2015 paper
qsic2014-presentation: Slides for the presentation of the QSIC 2014 paper

Replication Packages

domino-replicate: Data and analysis code for the ICST 2018 paper
flake16-framework: Data, analysis code, and tools for the ICST 2022 paper
flaky-test-survey-replication-package: Data and analysis code for the ICSE-SEIP 2022 paper
imdetect-replicate: Data and analysis code for the TSE 2019 paper
jstvr-webpages: Experimental subjects used for the JSTVR 2020 paper
showflakes-framework: Data and analysis code for the AST 2022 paper
sticcer-replicate: Data and analysis code for the ICST 2020 paper
vmutation-replicate: Data and analysis code for the AST 2016 paper

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

artur-shaik/vim-javacomplete2 Issue #277: Errors when starting Vim or Neovim ...
asdf-vm/asdf-nodejs Issue #277: bug: Cannot create directory ...
education/classroom #1117: Internal Server Error 500 When Accessing ...
education/classroom #1543: Students suddenly cannot import repo ...
git-lfs/git-lfs #3474: Installation in ubuntu is not working
junegunn/fzf Issue #712: Setting foreground without background
kshenoy/vim-signature Issue #164: Special characters for markers?
lervag/vimtex Issue #176: Latexmk crashes when loading second LaTeX file
lervag/vimtex Issue #177: Many Zathura windows in a multi-file project
lervag/vimtex Issue #178: Second MuPDF window in a multi-file project
lervag/vimtex Issue #181: Forward search not working with old Zathura
lervag/vimtex Issue #312: Additional MuPDF window on forward search
lervag/vimtex Issue #762: BibTeX reference completion crashes with ...
lervag/vimtex Issue #903: Restarting continuous compilation breaks PDF ...
ludovicchabant/vim-gutentags Issue #168: Error when deoplete installed
ludovicchabant/vim-gutentags Issue #178: Halt on exit
ncm2/ncm2-jedi Issue #9: AttributeError: module 'jedi' has no attribute 'Script'
neovim/neovim Issue #6204: Using FZF turns off relativenumber
ms-jpq/coq_nvim Issue #264: Neovim 0.5.0 Crashes with segmentation fault ...
neovim/neovim Issue #8775: Version 0.3.2 interface deranged
pypa/pipenv Issue #3247: pipenv --three fails
Shougo/deoplete.nvim #500: nvim source deoplete/util.vim slow
Shougo/deoplete.nvim #508: Deoplete.nvim does not provide completions ...
welle/tmux-complete.vim Issue #63: Tmux completion no longer works
vim-airline/vim-airline #1631: Missing spaces in tabline
w0rp/ale Issue #182: R support

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