@techreport {25298,
	title = {A Product Line Modeling and Configuration Methodology to Support Model-Based Testing: an Industrial Case Study},
	number = {2012-07},
	year = {2012},
	note = {This technical report is an early version of a published conference paper. The published version can be found here:https://www.simula.no/publications/product-line-modeling-and-configuration-methodology-support-model-based-testing},
	publisher = {Simula Research Laboratory},
	author = {Ali, Shaukat and Yue, Tao and Briand, Lionel and Walawege, Suneth}
}
@inproceedings {Simula.simula.1476,
	title = {A Product Line Modeling and Configuration Methodology to Support Model-Based Testing: an Industrial Case Study},
	journal = {ACM/IEEE 15th International Conference on Model Driven Engineering Languages \& Systems (MODELS)},
	year = {2012},
	pages = {726-742},
	publisher = {Springer Berlin Heidelberg},
	type = {Conference},
	address = {Berlin Heidelberg},
	abstract = {Product Line Engineering (PLE) is expected to enhance quality and productivity, speed up time-to-market and decrease development effort, through reuse-the key mechanism of PLE. In addition, one can also apply PLE to support systematic testing and more specifically model-based testing (MBT) of product lines-the original motivation behind this work. MBT has shown to be cost-effective in many industry sectors but at the expense of building models of the system under test (SUT). However, the modeling effort to support MBT can significantly be reduced if an adequate product line modeling and configuration methodology is followed, which is the main motivation of this paper. The initial motivation for this work emerged while working with MBT for a Video Con-ferencing product line at Cisco Systems, Norway. In this paper, we report on our experience in modeling product family models and various types of behavioral variability in the Saturn product line. We focus on behavioral variability in UML state machines since the Video Conferencing Systems (VCSs) exhibit strong state-based behavior and these models are the main drivers for MBT; however, the approach can be also tailored to other UML diagrams. We also provide a mechanism to specify and configure various types of variability using stereotypes and Aspect-Oriented Modeling (AOM). Results of applying our methodology to the Saturn product line modeling and configuration process show that the effort required for modeling and configuring products of the product line family can be significantly reduced.},
	keywords = {Conference},
	doi = {10.1007/978-3-642-33666-9\_46},
	author = {Ali, Shaukat and Yue, Tao and Briand, Lionel Claude and Walawege, Suneth}
}
@inproceedings {Simula.simula.694,
	title = {An Industrial Application of Robustness Testing Using Aspect-Oriented Modeling, UML/MARTE, and Search Algorithms},
	journal = {ACM/IEEE 14th International Conference on Model Driven Engineering Languages and Systems (Models 2011)},
	year = {2011},
	pages = {108-122},
	publisher = {ACM/IEEE},
	type = {Conference},
	address = {.},
	abstract = {Systematic and rigorous robustness testing is very critical for embedded systems, as for example communication and control systems. Robustness testing aims at testing the behavior of a system in the presence of faulty situations in its operating environment (e.g., sensors and actuators). In such situations, the system should gracefully degrade its performance instead of abruptly stopping execution. To systematically perform robustness testing, one option is to resort to model-based robustness testing (MBRT), based for example on UML/MARTE models. However, to successfully apply MBRT in industrial contexts, new technology needs to be developed to scale to the complexity of real industrial systems. In this paper, we report on our experience of performing MBRT on video conferencing systems developed by Cisco Systems, Norway. We discuss how we developed and integrated various techniques and tools to achieve a fully automated MBRT that is able to detect previously uncaught software faults in those systems. We provide an overview of how we achieved scalable modeling of robustness behavior using aspect-oriented modeling, test case generation using search algorithms, and environment emulation for test case execution. Our experience and lessons learned identify challenges and open research questions for the industrial application of MBRT.},
	author = {Ali, Shaukat and Briand, Lionel Claude and Arcuri, Andrea and Walawege, Suneth},
	editor = {Whittle, Jon and Clark, Tony and K{\"u}hne, Thomas}
}
