Flexible and Optimal Dependency Management via Max-SMT.

Donald Pinckney, Federico Cassano, Arjun Guha, Jonathan Bell, Massimiliano Culpo, Todd Gamblin

Browse the full ICSE paper archive.