Requirement Specification is gaining increasingly attention as a critical phase of software systems development. As requirement descriptions evolve, they quickly become error-prone and difficult to understand. Thus, the development of techniques and tools to support requirement specification development, understanding, testing, maintenance and reuse becomes an important issue. This paper extend...

Since the original development of program slicing in 1979 [1] there have been many attempts to define a suitable semantics which will precisely define the meaning of a slice. Particular issues include handling termination and non-termination, slicing non-terminating programs and slicing nondeterministic programs. In this paper we review and critique the main attempts to construct a semantics fo...

Software testing is important to reduce errors, maintenance and overall software costs. Testing the software is an activity whose aims to evaluate the feature or competency of system and determining that whether it meets required prospects. To comfort this one way is program slicing, this method is to break down the large programs into smaller ones and other is model based slicing that break do...

Program slicing is useful for assisting with software-maintenance tasks, such as program understanding, debugging, impact analysis, and regression testing. The presence and frequent usage of pointers, in languages such as C, causes complex data dependences. To function effectively on such programs, slicing techniques must account for pointerinduced data dependences. Although many existing slici...

This paper introduces a new form of slicing, named architectural slicing, to aid architectural understanding and reuse.

Program slicing is a technique in software engineering for isolating parts of a program that influence the value of a variable or some other arbitrary expression in that program. There exist many different slicing algorithms, with specific techniques for a variety of language features such as procedures, unstructured control flow, composite data types, pointers, concurrency, etc. This paper sho...

1. Introduction Program slicing is a technique for simplifying programs by focusing on selected aspects of semantics. The process of slicing deletes those parts of the program which can be determined to have no effect upon the semantics of interest. Slicing has applications in testing and debugging, re−engineering, program comprehension and software measurement. For example, in debugging, there...

Slicing is a technique used to identify the program subset that could affect a particular statement of interest called the slicing criterion. Slicing has applications in program understanding, testing, model checking and functionality extraction. For computing a slice, we need to compute dependence information among statements. In object oriented languages, finding dependence information become...

Flat Minkowski space-time or open submanifolds of it may be sliced by a family of three-dimensional spacelike orbits of three-dimensional subgroups of the Poincare group of Bianchi types I, III, V, VIIo, and VIIh;o'o and thus be made to appear as a spatially homogeneous Bianchi-type cosmological model. I Timelike congruences that are spatially homogeneous with respect to any of the non-Abelian ...