Code checkers

СсылкаДатаОбъем в кбайтахЧисло страницСправка
Software Testing and Debugging. 2008 1526 15 Статические и динамические средства контроля алгоритмов
The Next Generation of Static Analysis: Boolean Satisfiability and Path Simulation – A Perfect Match. 2008 181 17 By Ben Chelf, Andy Chou
Controlling Software Complexity. The Business Case for Static Source Code Analysis 2008 140 16  
When, Why, and How to Leverage Source Code Analysis Tools. Finding critical bugs in C, C++ and Java code 2008 621 9 Gwin Fisher
The Next Generation of Source Code Analysis. February 2008 926 8 Gwin Fisher
Software Test Project Management - Tools and Techniques. 2008 154 16  
Software Testing New software testing technologies bring new challenges 2009 1788 15  
Microsoft opens up its 'million dollar' bug-finder Sep 29, 2016 364 1 Paul Krill, InfoWorld