Program Synthesis Without Full Specifications for Novel Applications
pex - white box test generation for . net .