CSE 403 Project Proposal Submissions

• Test Bayes!
  Adavya Bhalla and Satvik Agarwal
  doc slides
• Merge, Dammit!
  Steven Austin and Sabrina Tong
  doc slides
• Not My Problem - Crowdsourcing Code Verification With Video Games
  Alexander Macneal Balcom
  doc slides
• Minimize Bug Fix Commits
  Jacob Ward and Evan Blajev
  doc slides
• Visual Verification
  Oisin Doherty and Ryan Bruntz
  doc slides
• Intelligent Code Merge using Abstract Trees
  William Cao and Jared Le
  doc slides
• Index Checker For Changing Structures
  Jake Chiang and Rodney Olson
  doc slides
• Postcondition Assertion Checker for Java
  Hans Jorgensen and Jacob Chong
  doc slides
• Future-proofing issue trackers
  David Dupre and Christine Ta
  doc slides
• Narrowing Commit Scope To Isolate Bug Fixes And Increase TeamEffectiveness
  Abhinav Gottumukkala and Julius Christenson
  doc slides
• MOMENTUM
  Leon Pan and Austin Ha
  doc slides
• SIAT: Simultaneous Alternative Implementation Testing
  Gil Guday and Britt Henderson
  doc slides
• ProveIt
  Avidant Bhagat and Aditya Jhamb
  doc slides
• Fail Fast
  Weifan Jiang and Yuqi Huang
  doc slides
• Pluggable Typing In Java For The Masses
  Christopher Addison and Conner Knight
  doc slides
• Autofix Merge Conflict
  Sarah Zhou and Anita Leung
  doc slides
• QuickUnit
  Ethan Mayer
  doc slides
• Flow Control - An Overflow Detection Addition to the Checker Framework
  Kenji Nicholson and Lauren Martini
  doc slides
• NullPointerExceptions are Optional
  Alia Paddock and Lemei Zhang
  doc slides
• Tree merge for version control
  Sungmin Rhee
  doc slides
• Merge Conflict Tool Pitch : Magic Merge
  Haley Ruth and Arjun Lalwani
  doc slides
• Project focus: Test Generation - tracking code coverage
  Steven Miller and Andrew Tran
  doc slides
• Proposal for Automatic Test Assertion Generator
  Pin Wang and Mengxing Chen
  doc slides
• Automating Merge Conflict Resolution
  Jediah Conachan and Alva Wei
  doc slides
• NullnessLight Checker
  Xinrong Zhao and Anny Kong
  doc slides
• Verification Games
  Alex Davis and Autumn Blackburn
  doc slides