412 citations · 554 across the 18 of their papers we have counts for
Showing cs.SEShow all
2 papers · 1 filter
cs.SE2020
A Theory of Black-Box Tests
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…
cs.SE2012★ 7 cited
Abstract Data Types in Event-B - An Application of Generic Instantiation
David Basin, Andreas Fürst, Thai Son Hoang +2
Integrating formal methods into industrial practice is a challenging task. Often, different kinds of expertise are required within the same development. On the one hand, there are…