Model Based Testing, Approcci Combinatori e Misura della Copertura
JMock
Automatic Test Case Generation con Randoop ed EvoSuite