top of page
Software Testing and Verification

Develop, document and execute software test cases

Create a software test to meet an objective

Identify types of software defects

Plan, estimate, schedule and document software testing

Manage software defects

How to compute software testing metrics

Evaluate and implement software quality initiatives

Use Model Checking to evaluate software quality through model generation

Use Symbolic Execution to evaluate software for defects

Use Formal Methods to create proofs of software implementations

bottom of page