-
41
-
42
Invariants and state in testing and formal methods.
Cyhoeddwyd yn Software engineering notes.Erthygl -
43
Symbolic path simulation in path-sensitive dataflow analysis.
Cyhoeddwyd yn Software engineering notes.Erthygl -
44
-
45
-
46
-
47
Context- and path-sensitive memory leak detection.
Cyhoeddwyd yn Software engineering notes.Erthygl -
48
Performance data collection using a hybrid approach.
Cyhoeddwyd yn Software engineering notes.Erthygl -
49
-
50