| Ссылка | Дата | Объем в кбайтах | Число страниц | Справка |
| 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 |
| How to develop a bug bounty program | July 14, 2016 | 259 | 2 | TechRepublic |