Export 3 results:
Filters: Author is Wladimir Araujo [Clear All Filters]
On the Effectiveness of Contracts As Test Oracles in the Detection and Diagnosis of Race Conditions and Deadlocks in Concurrent Object-Oriented Software In ACM/IEEE Int. Symposium on Empirical Software Engineering and Measurement (ESEM). Banff, AB: IEEE Computer Society, 2011.
Enabling the Runtime Assertion Checking of Concurrent Contracts for the Java Modeling Language In ACM/IEEE Int. Conference on Software Engineering (ICSE), Edited by H. G. R. Taylor and N. Medvidovic. ACM New York, NY, USA, 2011.
Concurrent Contracts for Java in JML In IEEE International Symposium on Software Reliability Engineering (ISSRE)., 2008.