eXpress: guided path exploration for efficient regression test generation.

Kunal Taneja, Tao Xie, Nikolai Tillmann, Jonathan de Halleux

Browse the full ISSTA paper archive.