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 …

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 …

Cryptographic API misuses, such as exposed secrets, predictable random numbers, and
vulnerable certificate verification, seriously threaten software security. The vision of …

Comprehending and modifying software is at the heart of many software engineering tasks,
and this explains the growing interest that software reverse engineering has gained in the …

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 …

The widespread use of object-oriented languages and Internet security concerns are just the
beginning. Add embedded systems, multiple memory banks, highly pipelined units …

Recent years have seen many significant advances in program comprehension and
software maintenance automation technology. In spite of the enormous potential savings in …

This paper reports experiments with automated software modularization and
remodularization, using search-based algorithms, the fitness functions of which are derived …

A program slice extracts a semantically meaningful portion of a program, based upon a user-
selected slicing criterion. As the study of program slicing has matured, a growing body of …