69 search results - page 5 / 14 » Static Slicing for Pervasive Programs |
146
Voted
WCFLP
2005
ACM
15 years 5 months ago
2005
ACM
Program slicing is a well-known technique that extracts from a program those statements which are relevant to a particular criterion. While static slicing does not consider any in...
111
Voted
APSEC
1999
IEEE
15 years 4 months ago
1999
IEEE
In this paper, we propose four slicing methods using both static and dynamic analysis information. (1) StatementMark Slice : removes the unnecessary statements using an execution ...
109
click to vote
CHARME
1999
Springer
15 years 4 months ago
1999
Springer
Hardware description languages (HDLs) are used today to describe circuits at all levels. In large HDL programs, there is a need for source code reduction techniques to address a my...
TRUST
2010
Springer
14 years 10 months ago
2010
Springer
The TPM is a fairly passive entity. As a result, it can be difficult to involve the TPM in measurements of software trustworthiness beyond simple load-time hashing of static progra...
107
click to vote
APSEC
2009
IEEE
15 years 3 months ago
2009
IEEE
Software visualization with sequence diagrams is one of the promising techniques aimed at helping developers comprehend the behavior of object-oriented systems effectively. However...