Lightweight guided random simulation.

Robert W. Sumners, Parminder Chhabra, Jacob A. Abraham

Browse the full ISSRE paper archive.