Browse Research and Tech Reports - Computer Science by Author "Huang, Jeff"

  • Luo, Qingzhou; Huang, Jeff; Rosu, Grigore (2015)
    We propose the first systematic concurrent program testing approach that is able to cover the entire scheduling space with a provably minimal number of test runs. Each run corresponds to a distinct maximal causal model ...


    application/pdfPDF (740kB)