Static testing examines software artifacts (requirements, design documents, code) without executing the program. It includes reviews, walkthroughs, and inspections. Options A and C both describe aspects of testing, but C is more precise for static testing. Option B describes model-based testing, which is dynamic.