Add to ORKGProgram paths—sequences of executed basic blocks—have proven to be an effective way to capture a program’s elusive dynamic behavior. This paper shows how paths and path spectra compactly and precisely record many aspects of programs’ execution-time control flow behavior and explores applications of these paths in computer architecture, compilers, debugging, program testing, and software maintenance
[[abstract]]Software quality is primarily determined by the quality of the software development proc...
Dynamic compilers can optimize application code specifi-cally for observed code behavior. Such behav...
Data-flow analysis computes its solutions over the paths in a control-flow graph. These paths---whet...
A program can be decomposed into a set of possible execution paths. These can be described in terms ...
Abstract. This paper describes new techniques to help with testing and debugging, using information ...
Abstract. This paper describes new techniques to help with testing and debugging, using information ...
Trace cache, an important building block in modem wide-issue processors, buffers and reuses dynamic ...
Many program verification, testing and performance prediction techniques rely on analysis of statica...
Abstract. Statically estimating the worst case execution time of a pro-gram is important for real-ti...
Abstract. This paper describes new techniques to help with testing and debugging, using information ...
Even the simplest kernel has a diverse structure of execution behavior. This is a consequence of the...
Graduation date: 1982The methodology of structured programming has\ud enabled rapid progress in many...
A review of published measures of control flow complexity in programs reveals three major deficienci...
AbstractChecking the reliability of software is an ever growing challenge. Fully automatic tools tha...
Abstract. Understanding and controlling program behavior is a challenging objective for the design o...
[[abstract]]Software quality is primarily determined by the quality of the software development proc...
Dynamic compilers can optimize application code specifi-cally for observed code behavior. Such behav...
Data-flow analysis computes its solutions over the paths in a control-flow graph. These paths---whet...
A program can be decomposed into a set of possible execution paths. These can be described in terms ...
Abstract. This paper describes new techniques to help with testing and debugging, using information ...
Abstract. This paper describes new techniques to help with testing and debugging, using information ...
Trace cache, an important building block in modem wide-issue processors, buffers and reuses dynamic ...
Many program verification, testing and performance prediction techniques rely on analysis of statica...
Abstract. Statically estimating the worst case execution time of a pro-gram is important for real-ti...
Abstract. This paper describes new techniques to help with testing and debugging, using information ...
Even the simplest kernel has a diverse structure of execution behavior. This is a consequence of the...
Graduation date: 1982The methodology of structured programming has\ud enabled rapid progress in many...
A review of published measures of control flow complexity in programs reveals three major deficienci...
AbstractChecking the reliability of software is an ever growing challenge. Fully automatic tools tha...
Abstract. Understanding and controlling program behavior is a challenging objective for the design o...
[[abstract]]Software quality is primarily determined by the quality of the software development proc...
Dynamic compilers can optimize application code specifi-cally for observed code behavior. Such behav...
Data-flow analysis computes its solutions over the paths in a control-flow graph. These paths---whet...