Software obfuscation has always been a controversially discussed research area. While
theoretical results indicate that provably secure obfuscation in general is impossible, its …

Program slicing is a technique to extract program parts with respect to some special
computation. Since Weiser first proposed the notion of slicing in 1979, hundreds of papers …

Software inspection is a known technique for improving software quality. It involves carefully
examining the code, the design, and the documentation of software and checking these for …

Automated transplantation would open many exciting avenues for software development:
suppose we could autotransplant code from one system into another, entirely unrelated …

A testability transformation is a source-to-source transformation that aims to improve the
ability of a given test generation method to generate test data for the original program. We …

This article surveys previous work on program slicing-based techniques. For each
technique, we describe its features, its main applications, and a common example of slicing …

While mutation testing has proved to be an effective way of finding software faults, currently it
is only applied to relatively small programs. One of the main reasons for this is the human …

What the experts have to say about Model-Based Testing for Embedded Systems:" This
book is exactly what is needed at the exact right time in this fast-growing area. From its …

Abstract MARK HARMAN and ROBERT HIERONS review three semantic paradigms for
slicing—static, dynamic and conditioned; and two syntactic paradigms—syntax‐preserving …

Program slicing is a viable method to restrict the focus of a task to specific sub-components
of a program. Examples of applications include debugging, testing, program …