412 citations · 554 across the 18 of their papers we have counts for
1 paper · 2 filters
Mohammad Torabi Dashti, David Basin
The purpose of testing a system with respect to a requirement is to refute the hypothesis that the system satisfies the requirement. We build a theory of tests and refutation based…