773 search results - page 35 / 155 » Program Slicing by Calculation |
HICSS
1995
IEEE
15 years 4 months ago
1995
IEEE
The Dreiding force field is a seven-term equation that describes the potential energy in a molecule as a function of the relative positions of bonded atoms and electrostatic inte...
91
Voted
TACAS
2009
Springer
15 years 7 months ago
2009
Springer
Analysis of execution traces plays a fundamental role in many program analysis approaches. Execution traces are frequently parametric, i.e., they contain events with parameter bind...
109
click to vote
ISSTA
2010
ACM
15 years 4 months ago
2010
ACM
Recently, there has been much interest in developing analyzes to detect concurrency bugs that arise because of data races, atomicity violations, execution omission, etc. However, ...
SCAM
2007
IEEE
15 years 6 months ago
2007
IEEE
Remote trusting aims at verifying the “healthy” execution of a program running on an untrusted client that communicates with a trusted server via network connection. After giv...
121
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 ...