Results 271 to 280 of about 15,494 (304)

RESTRUCTURING PROGRAMS THROUGH PROGRAM SLICING

International Journal of Software Engineering and Knowledge Engineering, 1994
Software restructuring is recognized as a promising method to improve logical structure and understandability of a software system which is composed of modules with loosely-coupled elements. In this paper, we present methods of restructuring an ill-structured module at the software maintenance phase.
Hyeon Soo Kim, Yong Rae Kwon, In Sang Chung   +2 more
openaire   +1 more source

Verification by Gambling on Program Slices

2021
Automated software verification is a computationally hard problem that is often exasperated by irrelevant context. Existing verification engines address this problem with slicing techniques that are either too cautious, producing large verification condition queries, or too aggressive, sacrificing soundness. In this paper, we present a novel technique,
Murad Akhundov, Federico Mora 0002, Nick Feng, Vincent Hui, Marsha Chechik   +4 more
openaire   +1 more source

Verified Validation of Program Slicing

Proceedings of the 2015 Conference on Certified Programs and Proofs, 2015
Program slicing is a well-known program transformation which simplifies a program with respect to a given criterion while preserving its semantics. Since the seminal paper published by Weiser in 1981, program slicing is still widely used in various application domains.
Blazy, Sandrine, Maroneze, Andre, Pichardie, David   +2 more
openaire   +2 more sources

Program slicing: methods and applications

Proceedings First IEEE International Workshop on Source Code Analysis and Manipulation, 2002
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 comprehension, restructuring, downsizing, and parallelization. The paper discusses different statement deletion based slicing methods, together with algorithms and applications to ...
openaire   +2 more sources

Dynamic slicing of distributed programs

Proceedings of International Conference on Software Maintenance, 2002
As software applications grow larger and become more complex, program maintenance activities such as adding new functionality, debugging, and testing consume an increasing amount of available resources for software development. This is especially true for distributed systems communicating via message passing.
Mariam Kamkar, Patrik Krajina
openaire   +1 more source

Static slicing of reactive programs

Proceedings Third IEEE International Workshop on Source Code Analysis and Manipulation, 2004
We extend the well-known technique of program slicing to synchronous reactive programs like Esterel. Reactive programs are event-oriented and maintain continuous interaction with the environment. The traditional definition of slicing that preserves the values of a program variable at a particular program point is not natural for reactive programs.
KULKARNI, AR, RAMESH, S
openaire   +1 more source

A hybrid program slicing framework

Proceedings First IEEE International Workshop on Source Code Analysis and Manipulation, 2002
Program slicing is a decomposition technique that transforms a large program into a smaller one that contains only statements relevant to the computation of a selected function. Applications of program slicing can be found in software testing, debugging, and maintenance by reducing the amount of data that has to be analyzed in order to comprehend a ...
Juergen Rilling, Bhaskar Karanth
openaire   +1 more source

On optimal slicing of parallel programs

Proceedings of the thirty-third annual ACM symposium on Theory of computing, 2001
Optimal program slicing determines for a statement S in a program π whether or not S affects a specified set of statements, given that all conditionals in π are interpreted as non-deterministic choices.Only recently, it has been shown that reachability of program points and hence also optimal slicing is undecidable for multi-threaded programs with ...
Markus Müller-Olm, Helmut Seidl
openaire   +1 more source

Program Slicing

2010 International Forum on Information Technology and Applications, 2010
Program slicing provides a new way to software maintenance, program understanding. It can give the programmer the statements only relevant to the computation of a given function. It can transform a large program into a smaller one. A program slicing respected with a point of interest is not only relevant on the variables which are defined or used by ...
openaire   +1 more source

Slicing programs in the presence of errors

Formal Aspects of Computing, 1996
Abstract Program slicing is a technique by which statements are deleted from a program in such a way as to preserve a projection of the original program's semantics. It is shown that slicing algorithms based upon traditional defined and referenced variable sets do not preserve a projection of strict semantics with respect to computations ...
Harman, Mark, Simpson, Dan, Danicic, Sebastian   +2 more
openaire   +1 more source