@inproceedings {Simula.simula.190,
	title = {Enabling the Runtime Assertion Checking of Concurrent Contracts for the Java Modeling Language},
	journal = {ACM/IEEE Int. Conference on Software Engineering (ICSE)},
	year = {2011},
	pages = {786-795},
	publisher = {ACM New York, NY, USA},
	type = {Conference},
	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.},
	isbn = {978-1-4503-0445-0},
	author = {Araujo, Wladimir and Briand, Lionel and Labiche, Yvan},
	editor = {Harald Gall Richa {Taylor} and Medvidovic, Nenad}
}
@inproceedings {Simula.simula.88,
	title = {A Practical Guide for Using Statistical Tests to Assess Randomized Algorithms in Software Engineering},
	journal = {ACM/IEEE International Conference on Software Engineering (ICSE)},
	year = {2011},
	pages = {1-10},
	publisher = {IEEE},
	type = {1},
	abstract = {Randomized algorithms have been used to successfully addressmany different types of software engineering problems. This type of algorithms employ a degree of randomness as part of their logic. Randomized algorithms are useful for difficult problems where a precise solution cannot be derived in a deterministic way within reasonable time. However, randomized algorithms produce different results on every run when applied to the same problem instance. It is hence important to assess the effectiveness of randomized algorithms by collecting data from a large enough number of runs. The use of rigorous statistical tests is then essential to provide support to the conclusions derived by analyzing such data. In this paper, we provide a systematic review of the use of randomized algorithms in selected software engineering venues in 2009. Its goal is not to perform a complete survey but to get a representative snapshot of current practice in software engineering research. We show that randomized algorithms are used in a significant percentage of papers but that, in most cases, randomness is not properly accounted for. This casts doubts on the validity of most empirical results assessing randomized algorithms. There are numerous statistical tests, based on different assumptions, and it is not always clear when and how to use these tests. We hence provide practical guidelines to support empirical research on randomized algorithms in software engineering.},
	isbn = {978-1-4503-0445-0},
	author = {Arcuri, Andrea and Briand, Lionel},
	editor = {Gall, Harald and Medvidovic, Nenad}
}
