6 citations · 11 across the 6 of their papers we have counts for
1 paper · 1 filter
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…