Testing where information about programmingstyle, error-prone language constructs, and other programmingknowledge is applied to select test data capable of detectingfaults, either a specified class of faults or all possiblefaults.
