1291 search results - page 43 / 259 » Arithmetic program paths |
115
Voted
ICSE
2009
IEEE-ACM
15 years 9 months ago
2009
IEEE-ACM
Regression test generation aims at generating a test suite that can detect behavioral differences between the original and the modified versions of a program. Regression test gen...
113
click to vote
MICRO
1998
IEEE
15 years 6 months ago
1998
IEEE
Path profiles record the frequencies of execution paths through a program. Until now, the best global instruction schedulers have relied upon profile-gathered frequencies of condi...
116
Voted
ECAI
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. In previous research, we presented a dynamicprogramming-based EM (expectation-maximization) algorithm for parameterized logic programs, which is based on the structure sh...
117
click to vote
WORDS
2002
IEEE
15 years 7 months ago
2002
IEEE
The Worst-Case Execution-Time Analysis (WCET Analysis) of program code that is to be executed on modern processors is a highly complex task. First, it involves path analysis, to i...
125
Voted
AADEBUG
1997
Springer
15 years 6 months ago
1997
Springer
This paper presents a new approach to enforcing array bounds and pointer checking in the C language. Checking is rigorous in the sense that the result of pointer arithmetic must r...