Patrice Godefroid: Compositional dynamic test generation. POPL 2007: 47-54