-
11
Invariants and state in testing and formal methods.
Published in Software engineering notes.Article -
12
Symbolic path simulation in path-sensitive dataflow analysis.
Published in Software engineering notes.Article -
13
-
14
-
15
-
16
-
17
Performance data collection using a hybrid approach.
Published in Software engineering notes.Article -
18
-
19
-
20