A synergistic approach for distributed symbolic execution using test ranges.

Rui Qiu, Sarfraz Khurshid, Corina S. Pasareanu, Guowei Yang

Browse the full ICSE paper archive.