Simulations provide a useful methodological approach for studying the behavior of complex
socio-technical information systems (IS), in which humans and IT artifacts interact to process …

Code review is an important activity in software en-gineering process to reduce software
defects before the production phase. It is crucial that software defects are identified as soon …

Abstract Control Flow Graphs (CFGs) are directed graphs that represent all possible paths a
computer program can take during its execution. They are used to analyze computer …

Program comprehension is a required activity for many software development and
maintenance tasks. A common means of understanding software is though UML diagrams …

The security research on Windows has received little attention in the academic circle. Most
of the new methods are usually designed for the Linux system and are difficult to transplant …

First, an investigation into comparing several state-of-the-art program analysis tools at the
level of an intermediate verification language over a large set of benchmarks, and …

Visual contracts model the operations of components or services by pre-and post-conditions
formalised as graph transformation rules. They provide a precise intuitive notation to support …