2 citations · 5 across the 5 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…