-
11
Invariants and state in testing and formal methods.
الحاوية / القاعدة Software engineering notes.مقال -
12
Symbolic path simulation in path-sensitive dataflow analysis.
الحاوية / القاعدة Software engineering notes.مقال -
13
-
14
-
15
-
16
Context- and path-sensitive memory leak detection.
الحاوية / القاعدة Software engineering notes.مقال -
17
Performance data collection using a hybrid approach.
الحاوية / القاعدة Software engineering notes.مقال -
18
Summarizing application performance from a components perspective.
الحاوية / القاعدة Software engineering notes.مقال -
19
-
20
Matching execution histories of program versions.
الحاوية / القاعدة Software engineering notes.مقال