ThisupdatedandreorganizedfourtheditionofSoftwareTesting:ACraftsman'sApproachappliesthestrongmathematicscontentofpreviouseditionstoacoherenttreatmentofModel-BasedTestingforbothcode-based(structural)andspecification-based(functional)testing.Thesetechniquesareextendedfromtheusualunittesti