Limitations of Testing
Program testing can be used to show the presence of bugs, but never to show their absence
E. Dijkstra in Structured Programming
Limited in verifying the absence of hazards
Previous slide
Next slide
Back to first slide
View graphic version