@inproceedings{633d0ff225df4e43846ae5efc9e55516,
title = "Enabling the runtime assertion checking of concurrent contracts for the Java modeling language",
abstract = "Though there exists ample support for Design by Contract (DbC) for sequential programs, applying DbC to concurrent programs presents several challenges. In previous work, we extended the Java Modeling Language (JML) with constructs to specify concurrent contracts for Java programs. We present a runtime assertion checker (RAC) for the expanded JML capable of verifying assertions for concurrent Java programs. We systematically evaluate the validity of system testing results obtained via runtime assertion checking using actual concurrent and functional faults on a highly concurrent industrial system from the telecommunications domain.",
keywords = "concurrency, design by contract, java, jml, object-oriented programming",
author = "Wladimir Araujo and Briand, {Lionel C.} and Yvan Labiche",
year = "2011",
doi = "10.1145/1985793.1985903",
language = "English",
isbn = "9781450304450",
series = "Proceedings - International Conference on Software Engineering",
pages = "786--795",
booktitle = "ICSE 2011 - 33rd International Conference on Software Engineering, Proceedings of the Conference",
note = "33rd International Conference on Software Engineering, ICSE 2011 ; Conference date: 21-05-2011 Through 28-05-2011",
}