Read our cookies policy and privacy statement for more information.
×Charlotte, North Carolina
Methods of evaluating software for correctness, and reliability including code inspections, program proofs and testing methodologies. Formal and informal proofs of correctness. Code inspections and their role in software verification. Unit and system testing techniques, testing tools and limitations of testing. Statistical resting, reliability models.
Units: 3.0