This paper describes the Context Awareness Framework developed for the HYDRA
Middleware Project. The HYDRA project aims to develop middleware to support intelligent …

Data structure invariants play a key role in checking correctness of code, eg, a model
checker can use an invariant, eg, acyclicity of a binary tree, that is written in the form of an …

When engineering and computing activities are solely electives, extra curriculars, or informal
learning activities, student participation is limited by self-selection. By integrating …

Memory graphs are very useful in understanding the behavior of programs that use
dynamically allocated data structures. We present a new memory graph representation …

Data structure properties are important for many testing and analysis tasks. For example,
model checkers use these properties to find program faults. These properties are often …

Dynamically allocated data structures pervade imperative and object-oriented programs.
Automated analysis and testing of such programs requires reasoning about their data …

Using a traditional debugging environment, a programmer has to manually trace the
execution of the program. On finding a corrupted program state, the programmer has to …

Bugs in code continue to pose a fundamental problem for software reliability and cause
expensive failures. The process of removing known bugs is termed debugging, which is a …

Data structures are one of the most important part of programming. Program faults lead to
corruption of runtime data structures of the program which lead to program failure or worse …