Partial replay of long-running applications
pex - white box test generation for . net .