Edit code whenever command-line parameters change because they affect program behavior.

Incorrect program behaviour is analyzed and identified as a bug.

Profiling (computer programming) - a means by which dynamic program behaviors can be measured during a training run with a representative input.

Its defining characteristic is the use of finite state machines to describe program behavior.

Using such values can lead to unpredictable program behavior.

This automates the reasoning about the program behavior with respect to the given correct specifications.

This may result in erratic program behavior, including memory access errors, incorrect results, a crash, or a breach of system security.

The working set model for program behavior.

They allow the clean specification of computer programs and the formulation of proofs about program behavior.

Arvind conducted thesis research in operating systems on mathematical models of program behavior.