We moved some of our code to GitHub.

• Chip: Change impact analysis in Coq and OCaml
• CoCo: Comparison of non-adequate test suites using coverage criteria
• CoDeSe: Dataset for fast deserialization via code generation
• Coring: Command line option parsing for Java
• Coverage: Container classes instrumented for predicate coverage
• Ekstazi: Lightweight regression test selection
• Ekstazi#: Class-level regression test selection for .NET
• gobash: A library to improve programming experience in Bash (GitHub)
• iCoq: Regression Proof Selection for Large-Scale Coq Projects
• IMUnit: Improved multithreaded unit testing
• mCoq: Mutation Analysis for Coq Verification Projects
• Roosterize: A tool for suggesting lemma names in verification projects that use the Coq proof assistant
• RTR: Systematic testing of refactoring engines
• RTSCheck: A framework for testing regression test selection tools
• Selfection: Regression test selection tool for C
• Setac: Test framework for (Scala) actor programs
• SMutant: Mutation testing tool for Smalltalk
• TrigIt: A Framework for Writing Trigger-Action Todo Comments in Executable Format
• UDITA: Test generation using declarative and imperative test abstractions
• VeDebug: Regression debugging tool for Java