57 citations · 175 across the 19 of their papers we have counts for
1 paper · 1 filter
Christian Colombo, Adrian Francalanza, Ian Grima
Contract conformance is hard to determine statically, prior to the deployment of large pieces of software. A scalable alternative is to monitor for contract violations post-deploym…