-
11
Invariants and state in testing and formal methods.
Veröffentlicht in Software engineering notes.Artikel -
12
Symbolic path simulation in path-sensitive dataflow analysis.
Veröffentlicht in Software engineering notes.Artikel -
13
-
14
-
15
-
16
Context- and path-sensitive memory leak detection.
Veröffentlicht in Software engineering notes.Artikel -
17
Performance data collection using a hybrid approach.
Veröffentlicht in Software engineering notes.Artikel -
18
Summarizing application performance from a components perspective.
Veröffentlicht in Software engineering notes.Artikel -
19
Applying classification techniques to remotely-collected program execution data.
Veröffentlicht in Software engineering notes.Artikel -
20
Matching execution histories of program versions.
Veröffentlicht in Software engineering notes.Artikel