Reusing existing library components is essential for reducing the cost of software
development and maintenance. When library components evolve to accommodate new …

The same software product nowadays could appear in multiple platforms and devices. To
address business needs, software companies develop a software product in a programming …

An important element of understanding a software code base is to identify the repetitive
patterns of code it contains and how these evolve over time. Some patterns are useful to the …

A causal relationship implies that a function call should follow another function call.
However, causal relationships can be implicit in practice and therefore often missed and …

For accurate garbage collection (GC), all pointers belonging to the root set must be found. In
a virtual machine (VM) implemented in C language, local variables of C language may …

Software is continually evolving, to improve performance, correct errors, and add new
features. Code modifications, however, inevitably lead to the introduction of defects. To …

Formal methods and static analysis are widely used in software development, in particular in
the context of safety-critical systems. They can be used to prove that the software behavior …

Lightweight bug finders (also known as code scanners) are becoming popular, they scale
well and can find simple yet common programming errors. It is now considered a good …

Software systems are becoming popular. They are used with different platforms for different
applications. Software systems are developed with support from programming languages …

Software systems inevitably contain a large amount of repeated artifacts at different level of
abstraction—from ideas, requirements, designs, algorithms to implementation. This …