Results 281 to 290 of about 15,494 (304)

Secure slices of insecure programs

Proceedings of the 2008 ACM symposium on Information, computer and communications security, 2008
This paper deals with the problem of protect the confidentiality of data manipulated by sequential programs. In this context, secure information flow refers to the guarantee that program executions are free of non authorized flows of secret information into public channels.
openaire   +1 more source

Visualization of program dependence and slices

20th IEEE International Conference on Software Maintenance, 2004. Proceedings., 2004
The program dependence graph (PDG) itself and the computed slices within the program dependence graph are results that should be presented to the user in a comprehensible form, if not used in subsequent analyses. A graphical presentation would be preferred as it is usually more intuitive than textual ones.
openaire   +1 more source

Program slicing

2008 Frontiers of Software Maintenance, 1996
David W. Binkley, Keith Brian Gallagher
openaire   +1 more source

Program slicing

Information and Software Technology, 1998
Harman, Mark, Gallagher, Keith Brian
openaire   +1 more source

Dynamic Slicing of Concurrent Programs

2000
We present a framework for computing dynamic slices of concurrent programs using a form of dependence graph as intermediate representations. We introduce the notion of a Dynamic Program Dependence Graph (DPDG) to represent various intra- and interprocess dependences of concurrent programs.
Diganta Goswami, Rajib Mall
openaire   +1 more source

Formal specification of program slicing

ACM SIGPLAN Notices, 2006
Program slicing is a well-known technique that has been used in a variety of software engineering areas, such as comprehension, understanding, maintenance, debugging, testing, reuse, metrics, etc. This paper discusses how the formal specification language Z schema calculus may be used to specify program slicing.
openaire   +1 more source

On Slicing of Programs with Input Statements

2013
This paper studies program slicing in the presence of input statements. If unnecessary input statements are sliced away, the remaining input statements are assumed to read the same data as within the entire program. For specifying the relation of one program being a slice of another under this assumption, one needs a formalism for treating “stages of ...
openaire   +1 more source

A vocabulary of program slicing-based techniques

ACM Computing Surveys, 2012
Josep Silva
exaly  

A brief survey of program slicing

Software Engineering Notes: an Informal Newsletter of the Special Interest Committee on Software Engineering / ACM, 2005
Baowen Xu, Ju Qian, Xubaowen
exaly  

A formalisation of the relationship between forms of program slicing

Science of Computer Programming, 2006
David Binkley, Sebastian Danicic, Tibor Gyimóthy   +2 more
exaly