@inproceedings {Simula.SE.645,
	title = {A UML/MARTE Model Analysis Method for Detection of Data Races in Concurrent Systems},
	journal = {ACM/IEEE MODELS 2009},
	year = {2009},
	publisher = {Springer-Verlag Berlin, Heidelberg},
	type = {Conference},
	abstract = {The earlier concurrency problems are identified, the less costly they are to fix. As larger, more complex concurrent systems are developed, early detection of problems is made increasingly difficult. Meant to be used in the context of Model Driven Development, we have developed a general approach, based on the analysis of design models expressed in the Unified Modeling Language (UML) that uses specifically designed genetic algorithms to detect concurrency problems. All relevant concurrency information is extracted from systems{\textquoteright} UML models that comply with the UML Modeling and Analysis of Real-Time and Embedded Systems profile. Our approach was previously shown to work for both deadlocks and starvation. The current paper addresses data race detection, further illustrating how our approach can be tailored to other concurrency issues. Our main motivations are (1) to devise practical solutions that are applicable in the context of UML design of concurrent systems without requiring additional modeling and (2) to achieve scalable automation. Results on a case study inspired from the Therac-25 radiation machine show that our approach is effective in the detection of data races.},
	isbn = {978-3-642-04424-3},
	author = {Shousha, Marwa and Briand, Lionel and Labiche, Yvan},
	editor = {Sch{\"u}rr, Andy and Selic, Bran}
}
@inproceedings {Simula.SE.627,
	title = {A Use Case Modeling Approach to Facilitate the Transition Towards Analysis Models: Concepts and Empirical Evaluation},
	journal = {IEEE/ACM MODELS 2009 Proceedings},
	year = {2009},
	publisher = {Springer-Verlag Berlin, Heidelberg},
	type = {Conference},
	abstract = {Use case modeling is commonly applied to document requirements. Use case specifications (UCSs) are usually structured, textual documents complying with a certain template. However, because they remain essentially textual, ambiguities are inevitable. In this paper, we propose a new use case modeling approach, which is composed of a set of well-defined restriction rules and a template. The goal is to reduce ambiguity and facilitate automated analysis, though the later point is not addressed in this paper. We also report on a controlled experiment which evaluates the restriction rules and template in terms of their ease of application during use case modeling, and the quality of the analysis models derived from them by trained individuals. Results show that the restriction rules are overall easy to apply and that our use case modeling approach results in significant improvements regarding the correctness of derived class diagrams and the understandability of UCSs.},
	isbn = {978-3-642-04424-3},
	author = {Yue, Tao and Briand, Lionel and Labiche, Yvan},
	editor = {Sch{\"u}rr, Andy and Selic, Bran}
}
