Scaling Model Checking for Test Generation Using Dynamic Inference.

Anand Yeolekar, Divyesh Unadkat, Vivek Agarwal, Shrawan Kumar, R. Venkatesh

Browse the full ICST paper archive.