Browse Research and Tech Reports - Computer Science by Author "Lee, Choonghwan"

  • Lee, Choonghwan; Chen, Feng; Rosu, Grigore (2010-08-24)
    Specifications carrying formal parameters that are bound to concrete data at runtime can effectively and elegantly capture multi-object behaviors or protocols. Unfortunately, parametric specifications are not easy to ...

    application/pdf

    application/pdfPDF (2MB)
  • Chen, Feng; Lee, Choonghwan; Rosu, Grigore (2010-03-05)
    Mining formal specifications from program executions has numerous applications in software analysis, from program understanding and modeling to testing and bug detection. Parametric specifications carry parameters that ...

    application/pdf

    application/pdfPDF (919kB)
  • Lee, Choonghwan; Jin, Dongyun; Meredith, Patrick O'Neil; Rosu, Grigore (2012-03-12)
    Formal specification of correct library usage is extremely useful, both for software developers and for the formal analysis tools they use, such as model checkers or runtime monitoring systems. Unfortunately, the process ...

    application/pdf

    application/pdfPDF (590kB)