Boundary Value Analysis

This method for choosing examples for the unit test is based on the observation that the values around or at boundaries between individual classes of input have higher probability of introducing a software defect.

Property Based Testing

Consider the following unit test: