HyDiff: hybrid differential software analysis.

Yannic Noller, Corina S. Pasareanu, Marcel Bhme, Youcheng Sun, Hoang Lam Nguyen, Lars Grunske

Browse the full ICSE paper archive.