https://1library.org/document/ozldx3gy-software-testing-affirming-software-quality.html