Geeft inzicht in de factoren die bepalend zijn voor het succesvol uitvoeren van testen waarmee de veiligheid van software moet worden aangetoond. Hoewel dit boek als praktisch handboek wordt gepresenteerd, is het verregaande theoretisch van aard en borduurt het voort op eerdere werken van o.a. Beizer, Dijkstra en Myers. De auteurs hebben echter een gedegen literatuuronderzoek gecombineerd met eigen ervaringen, wat heeft geresulteerd in een toegankelijk werk en is om die reden dan toch nipt het lezen waard.
Stewart Gardiner e.a. | 1999 | ISBN 1-85233-034-1 | Engels