How to compare and exploit different techniques for unit-test generation