2 papers
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.DB2016
Repairing Conflicts among MVCC Transactions
Mohammad Dashti, Sachin Basil John, Amir Shaikhha +1
The optimistic variants of MVCC (Multi-Version Concurrency Control) avoid blocking concurrent transactions at the cost of having a validation phase. Upon failure in the validation…