Test & validation

Program testing can be used to show the presence of bugs, but never to show their absence.

Edsger W. Dijkstra

The translation of this page is not ready, sorry.