WHITE PAPER - Software Testing and Debugging provides an overview of how to detect and test code performance and security vulnerabilities early in the development cycle.
Posted: March 20, 2008 | Published: March 20, 2008


Topics:  Application Security | Best Practices | Code Management | Debugging | Documentation | Software Development Methodologies | Software Development Tools | Software Quality Assurance | Software Testing | User Experience

CASE STUDY - Teradata needed a software quality solution that could scale with its massive code base as well as identify and help resolve the most difficult-to-find bugs.
Posted: March 6, 2008 | Published: January 1, 2007


Topics:  Code Management | Quality Control | Software Testing

WHITE PAPER - This white paper will provide a brief overview of the history of static analysis and explain how the use of SAT in static analysis is enabling developers to improve the quality and security of their code.
Posted: March 5, 2008 | Published: March 3, 2008


Topics:  Code Management | Simulation and Analysis Software | Software Development Tools | Software Quality Assurance | Software Testing | Structured Analysis Techniques | Vulnerability Management

WHITE PAPER - This white paper discusses how static source code analysis can be used to find critical defects and security vulnerabilities in C/C++ and Java source code.
Posted: March 5, 2008 | Published: March 3, 2008


Topics:  Code Management | Java | Simulation and Analysis Software | Software Development Methodologies | Software Development Tools | Software Quality Assurance | Software Testing | Vulnerability Management