VirtualTam's bookmarks

  1. Vera++ is a programmable tool for verification, analysis and transformation of C++ source code.

  2. http://lib.tkk.fi/Dipl/2012/urn100637.pdf

    Evaluating and enhancing FindBugs to detect bugs from mature software: Case study in Valuatum