About

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

history | excerpt history