some white box testing exmples