Login / Signup

Leveraging existing instrumentation to automatically infer invariant-constrained models.

Ivan BeschastnikhYuriy BrunSigurd SchneiderMichael SloanMichael D. Ernst
Published in: SIGSOFT FSE (2011)
Keyphrases