Links

These links are nonexhaustive, but they do highlight useful tools or information for various aspects of software quality and maintenance.

• Blogs & Resources
  • Google Testing Blog
  • CERT/CC
  • PVS-Studio Blog
  • Parasoft
  • Martin Fowler
  • Miško Hevery
  • Test Obsessed
  • Black Box Software Testing
• Open Source Projects
  • Google Summer of Code 2014
  • OpenHub Open Source Statistics
• Source Control
  • Git
  • Mercurial
  • Subversion
• Bug Tracking, Code Reviews, & Project Management
  • Bugzilla
  • Phabricator
  • Gerrit
  • Bloodhound
  • Trac
  • GitHub
  • SourceForge
  • Google Code
  • IBM Code Review Suggestions
  • Alex Gaynor on Code Review
  • Good Math, Bad Math on Code Review
• Build Engineering
  • Maven
  • Autoconf
  • CMake
  • Ant
  • SCons
• Test Infrastructure
  • JUnit
  • TestNG
  • googletest/googlemock
  • CppUnit
  • pytest
  • PHPUnit
  • Jasmine
  • QUnit
  • Selenium
  • Jemmy
  • Watir
  • Linux Desktop Testing Project
  • android-test-kit
  • CircleCI
• Test Adequacy & Generation
  • CERT Basic Fuzzing Framework
  • CERT Failure Observation Engine
  • Major
  • CREST and jCUTE
  • Korat
  • UDITA
  • µJava
  • EvoSuite
  • Javalanche
  • KLEE
  • Pex
  • Jaca
  • Burp
  • Peach
  • Grinder
  • Espresso
• Bug Finding & Verification
  • Valgrind (Memcheck, Callgrind, Massif, Hellgrind, …)
  • Clang Sanitizers (address, mem, thread, …)
  • scan-build
  • Infer
  • Murphy
  • FindBugs
  • CPPCheck
  • ESC/Java2
  • Canalyze
  • Pychecker
  • Pylint
  • Coverity SAVE
  • HP Fortify
  • Java Pathfinder
  • SMACK
  • CPAchecker
  • CBMC
  • LLBMC
  • BLAST
  • SLAM
  • Yogi
• In The News
  • In Games
  • In Aircraft
  • The F-35 Continues
  • Gmail Liveness
  • Heartbleed in the wild
  • Data Leaks