Wladimir Araujo, Lionel C. Briand, Yvan Labiche
Enabling the runtime assertion checking of concurrent contracts for the Java modeling language
ICSE, 2011.
@inproceedings{ICSE-2011-AraujoBL, author = "Wladimir Araujo and Lionel C. Briand and Yvan Labiche", booktitle = "{Proceedings of the 33rd International Conference on Software Engineering}", doi = "10.1145/1985793.1985903", editor = "Richard N. Taylor and Harald Gall and Nenad Medvidović", isbn = "978-1-4503-0445-0", pages = "786--795", publisher = "{ACM}", title = "{Enabling the runtime assertion checking of concurrent contracts for the Java modeling language}", year = 2011, }