Relieving the Parameterized Coverage Headache Author(s): Christine Lovett, Bryan Ramirez, Stacey Secatch, and Michael Horn Type: Paper Download