About

Verifying the behavior of a software system against the expected behavior of that system.

history|excerpt history