1 Introducción
2 Antecedentes
3 Fundamentos y descripción de la herramienta
4 Características especiales en la POO
4.1 Singletons
4.2 Clases abstractas y jerarquías
4.3 Interfaces
4.4 Generador basado en los constructores
4.5 Generadores de transformación
5 Clasificación de objetos y aleatoriedad
6 Ejemplos
6.1 Ejemplos en la herramienta
6.2 Ejemplos en proyectos open source
6.3 JStock
6.4 TuxGuitar
6.5 Red-black trees
6.6 Joda-Time
6.7 Apache Commons Math
7 Trabajo relacionado
7.1 Herramientas basadas en QuickCheck
7.1.1 JCheck
7.1.2 QuickCheck for Java
7.1.3 QC4J
7.1.4 JUnit-QuickCheck
7.2 Otras herramientas de testing aleatorio
7.2.1 JCrasher
7.2.2 Eclat
7.2.3 Randoop
7.2.4 Jartege
7.2.5 RUTE-J
7.2.6 AutoTest
7.2.7 Pex
7.2.8 EvoSuite
7.2.9 TestFul
7.2.10 eToc
7.2.11 YETI
8 Comparación con otras herramientas
8.1 Metodología
8.2 Métricas
8.2.1 Comprensibilidad
8.2.2 Esfuerzo
8.2.3 Tiempo
8.2.4 Tamaño
8.2.5 Efectividad
8.3 Casos de estudio seleccionados
8.4 Resultados y análisis
8.4.1 Características
8.4.2 Soporte al usuario final
8.4.3 Esfuerzo del usuario final
8.4.4 Efectividad
8.5 Riesgos de validez
9 Conclusiones y trabajo futuro
Anexo A
Anexo B
Bibliografía y referencias