6 citations · 9 across the 6 of their papers we have counts for
1 paper · 2 filters
Qi Zhou, David Heath, William Harris
Relational properties describe relationships that hold over multiple executions of one or more programs, such as functional equivalence. Conventional approaches for automatically v…