Statically-directed dynamic automated test generation (0)

by D Babić, L Martignoni, S McCamant, D Song