ISBN: 83-204-2764-9
Jest to podręcznik z dziedziny inżynierii oprogramowania, zajmującej się tworzeniem poprawnych systemów informatycznych. Bardzo ważnym etapem tego procesu jest testowanie systemu na różnych poziomach abstrakcji.