“…Our definition of refutability is inspired by Popper's notion of testable theories [41]. Theories of black-box testing proposed in the software engineering literature are largely concerned with the notions of test selection, test adequacy, and exhaustiveness; see, e.g., [23,53,20,48,3]. Refutable requirements have not been investigated in prior work, except for temporal properties and hyper-properties, which we discussed in §7.2 and §8.2.…”