Software


creative commons licensed ( BY-NC-ND ) flickr photo shared by txmx 2

Research Software

  • avmf: Extensible framework for the search-based alternating variable method
  • expose: Doubling experiments to infer actual-worst-case time complexity
  • major: Easy and scalable mutation testing for the Java programming language
  • mrstudyr: Retrospectively study mutation testing techniques
  • redecheck: Automated checking of responsively designed web sites
  • schemaanalyst: Data generation and mutation analysis for database schemas

Research Resources

Research Papers

Research Presentations

Replication Packages

Teaching Materials

  • 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

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
Like my work? Support it!