Behavior Models for Computer Programs


Today’s software systems are becoming more and more complex. In many senses, a software system is very similar to a live organism. This motivates us to study a software system by investigating its behavior. A program’s behavior is decided by not only the code and data defined by the program itself, but also the user inputs and the execution environment such… (More)


74 Figures and Tables