-
41
-
42
Invariants and state in testing and formal methods.
Published in Software engineering notes.Article -
43
Symbolic path simulation in path-sensitive dataflow analysis.
Published in Software engineering notes.Article -
44
-
45
-
46
-
47
-
48
Performance data collection using a hybrid approach.
Published in Software engineering notes.Article -
49
-
50