Do Judge a Test by its Cover - Combining Combinatorial and Property-Based Testing.

Harrison Goldstein, John Hughes, Leonidas Lampropoulos, Benjamin C. Pierce

Browse the full ESOP paper archive.