It enumerates combinations of conditions and expected actions.

It measures how many lines of code were executed.

It tests all branches in the code.

It groups inputs and picks one representative value from each group.