76 citations · 190 across the 11 of their papers we have counts for
1 paper · 1 filter
Giovanni Bernardi, Matthew Hennessy
In the standard testing theory of DeNicola-Hennessy one process is considered to be a refinement of another if every test guaranteed by the former is also guaranteed by the latter.…