Browse Research and Tech Reports - Computer Science by Author "Tasharofi, Samira and Johnson, Ralph"

  • Tasharofi, Samira and Johnson, Ralph (2011-02)
    Concurrent programs are hard to test because of the non- determinism inherit in them. Since non-determinism is one of the major sources of bugs, it is important to to be tested. We studied the test suites of four open ...


    application/pdfPDF (330kB)