Guava ha generato automaticamente casi di test unitari :
Guava ha un numero sbalorditivo di test unitari: a partire da luglio 2012, il pacchetto guava-test include oltre 286.000 casi di test individuali. La maggior parte di questi sono generati automaticamente , non scritti a mano, ma la copertura dei test di Guava è estremamente approfondita, specialmente per com.google.common.collect.
Come sono stati generati? Quali tecniche e tecnologie sono state utilizzate per progettarle e generarle?