Browse by Subject "debugging"
Now showing items 1-8 of 8
(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 ...
(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 ...
(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 ...
(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 ...
(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 ...
(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 ...
(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 ...
(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 ...