4 citations · 4 across the 1 of their papers we have counts for
1 paper
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…