Behavior Models for Computer Programs

Abstract

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)

Topics

74 Figures and Tables