Synthesizing method sequences for high-coverage testing.

Suresh Thummalapenta, Tao Xie, Nikolai Tillmann, Jonathan de Halleux, Zhendong Su

Browse the full OOPSLA paper archive.