title | layout | description | image |
---|---|---|---|
Software |
defaults |
In addition to submitting defect reports and sharing replication packages for research papers, my colleagues and students and I develop and release a many different software tools to GitHub. Which of these systems is the most useful to you? |
/download/images/6145817075_2536dd7b4c_z.jpg |
{% capture page_title %} {{page.title}} {% endcapture %} {% include _jumbotrons/head_jumbotron.html title=page_title subtitle="turning research into" highlight="open opportunities" %}
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- dotfiles: Configuration files for my development environment
- tmuxinators: Configuration files for the terminal multiplexor
- vim-vitamin-onec: Dark color scheme for Vim and Neovim
- 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
- 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