Browse by Subject "debugging"

  • Tucek, Joseph (2012-02-06)
    The high complexity of modern software, and our pervasive reliance on that software, has made the problems of software reliability increasingly important. Yet despite advances in software engineering practice, pre-release ...

    application/pdf

    application/pdfPDF (916Kb)
  • Wu, Shengzhao (2012-05)
    The Android platform Google is one of the most popular mobile platforms which has a large number of users. Currently, most of the Android mobile devices are based on the ARM architecture. While most Android application ...

    application/pdf

    application/pdfPDF (833Kb)Restricted to U of Illinois
  • Jin, Dongyun; Meredith, Patrick O'Neil; Griffith, Dennis; Rosu, Grigore (2011-03-15)
    Parametric properties are behavioral properties over program events that depend on one or more parameters. Parameters are bound to concrete data or objects at runtime, which makes parametric properties particularly suitable ...

    application/pdf

    application/pdfPDF (1Mb)
  • Tischer, Matthew A (2013-05)
    Current methods for automatically grading student code have significant flaws. While methods that use test sets to determine code correctness sucessfully identify perfect or extremely flawed code, they may not ...

    application/pdf

    application/pdfPDF (598Kb)Restricted to U of Illinois
  • Chmiel, Ryan (2004)
    This study demonstrates that formal training in debugging helps students develop skills in diagnosing and removing defects from computer programs. To enhance debugging skills in an assembly language course, students ...

    application/pdf

    application/pdfPDF (301Kb)
  • Chmiel, Ryan (2003)
    We conducted a study to demonstrate that formal training in debugging helps students develop skills in diagnosing and removing defects from computer programs. To accomplish that goal in an assembly language course, we ...

    application/pdf

    application/pdfPDF (249Kb)
  • Buchanan, Craig (2014-05-30)
    Large and complex models can be difficult to analyze using static analysis results from current tools, including the Mobius modeling framework, which provides a powerful, formalism-independent, discrete-event simulator ...

    application/pdf

    application/pdfPDF (2Mb)
  • 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)