Enabling the Runtime Assertion Checking of Concurrent Contracts for the Java Modeling Language
- Authors
- W. Araujo, L. Briand and Y. Labiche
- Editors
- H. G. R. N. Taylor and N. Medvidovic
- Status
- Published
- Publication type
- Proceedings Refereed
- Year of publication
- 2011
- Journal
- ACM/IEEE Int. Conference on Software Engineering (ICSE)
- Publisher
- ACM New York, NY, USA
- Citation key
- 9649