Algorithm 1 Example of a unit test, targeting the function generateName().

$A\leftarrow "\mathtt{prefix}"$   $B\leftarrow "\mathtt{suffix}"$   $N\leftarrow "\mathtt{name}"$   $s\leftarrow "\_"$ Ensure: $\mathtt{generateName}(N,A,B,s)="\mathtt{prefix}\_\mathtt{name}\_\mathtt{suffix}"$