Skip to main content
U.S. flag

An official website of the United States government

Official websites use .gov
A .gov website belongs to an official government organization in the United States.

Secure .gov websites use HTTPS
A lock ( ) or https:// means you’ve safely connected to the .gov website. Share sensitive information only on official, secure websites.

Gaithersburg

Source Code Security Analysis

[ SAMATE Home | IntrO TO SAMATE | SARD | SATE | Bugs Framework | Publications | Tool Survey | Resources] For our purposes, a source code...

Tool Integration Frameworks

[ SAMATE Home | IntrO TO SAMATE | SARD | SATE | Bugs Framework | Publications | Tool Survey | Resources] Tool integration frameworks capture...

Database Scanning Tools

[ SAMATE Home | IntrO TO SAMATE | SARD | SATE | Bugs Framework | Publications | Tool Survey | Resources] Database Scanners are a specialized...

Web Services Network Scanners

[ SAMATE Home | IntrO TO SAMATE | SARD | SATE | Bugs Framework | Publications | Tool Survey | Resources] Web Services Scanners are a...

Dynamic Analysis Tools

[ SAMATE Home | IntrO TO SAMATE | SARD | SATE | Bugs Framework | Publications | Tool Survey | Resources] Dynamic analysis tools generate...

Architecture Design Tools

[ SAMATE Home | IntrO TO SAMATE | SARD | SATE | Bugs Framework | Publications | Tool Survey | Resources] Errors and flaws are better...

Requirements Verification Tools

[ SAMATE Home | IntrO TO SAMATE | SARD | SATE | Bugs Framework | Publications | Tool Survey | Resources] Software Requirements Verification...

Network Scanners

[ SAMATE Home | IntrO TO SAMATE | SARD | SATE | Bugs Framework | Publications | Tool Survey | Resources ] General-purpose network scanners...

Web Application Scanners

[ SAMATE Home | IntrO TO SAMATE | SARD | SATE | Bugs Framework | Publications | Tool Survey | Resources] Briefly, a web application scanner...

Binary Code Scanners

[ SAMATE Home | IntrO TO SAMATE | SARD | SATE | Bugs Framework | Publications | Tool Survey | Resources ] Static binary code scanners are...

Byte Code Scanners

[ SAMATE Home | IntrO TO SAMATE | SARD | SATE | Bugs Framework | Publications | Tool Survey | Resources] Static Byte Code Scanners are used...

Source Code Security Analyzers

[ SAMATE Home | IntrO TO SAMATE | SARD | SATE | Bugs Framework | Publications | Tool Survey | Resources ] For our purposes, a source code...

Safer Languages

[ SAMATE Home | IntrO TO SAMATE | SARD | SATE | Bugs Framework | Publications | Tool Survey | Resources ] Safety or quality cannot be...

Assurance Case Tools

[ SAMATE Home | IntrO TO SAMATE | SARD | SATE | Bugs Framework | Publications | Tool Survey | Resources] Some Instances DISCLAIMER: Certain...

SAMATE Tool Taxonomy

[ SAMATE Home | IntrO TO SAMATE | SARD | SATE | Bugs Framework | Publications | Tool Survey | Resources] Contents 1 What We Want of a...

SATE VI: Classic Track

[ SAMATE Home | IntrO TO SAMATE | SARD | SATE | Bugs Framework | Publications | Tool Survey | Resources ] Last update: 10/24/2019 The SATE...

Mobile Application Tool Testing

[ SAMATE Home | IntrO TO SAMATE | SARD | SATE | Bugs Framework | Publications | Tool Survey | Resources ] Introduction Mobile applications...

How Do You Measure It?

Much of the world around us would be a mystery without good measurements. Whether it’s the depth of the ocean, the
Was this page helpful?