Code contracts for .NET: runtime verification and so much more

Authors:
Mike Barnett
Affiliations:
Microsoft Research, Redmond, WA
Venue:
RV'10 Proceedings of the First international conference on Runtime verification
Year:
2010

Citing 3
Cited 0

Embedded contract languages

Proceedings of the 2010 ACM Symposium on Applied Computing
Pex: white box test generation for .NET

TAP'08 Proceedings of the 2nd international conference on Tests and proofs
The spec# programming system: an overview

CASSIS'04 Proceedings of the 2004 international conference on Construction and Analysis of Safe, Secure, and Interoperable Smart Devices

Quantified Score

Hi-index	0.00

Visualization

Abstract