@inproceedings {Simula.simula.2846,
	title = {Assessing the Modeling of Aspect State Machines for Testing From the Perspective of Modelers},
	journal = {The 14th International Conference on Quality Software (QSIC)},
	year = {2014},
	publisher = {IEEE},
	type = {Conference},
	address = {Allen, TX, USA},
	abstract = {Aspect state machines (ASMs) are extended UML state machines that use stereotypes from a UML profile called AspectSM. ASMs were specifically developed to support model-based robustness testing at Cisco Systems Norway, Inc. In our previous experiments, we empirically evaluated ASMs from the perspectives of readability, comprehensibility, understandability, modeling errors, and modeling effort and the results showed that ASMs are significantly better than the standard UML state machines for modeling robustness behavior for testing. However, a fundamental question still remained to be answered about how modelers/testers modeling ASMs feel about their use. With this in mind, we report results from a series of controlled experiments that were conducted to evaluate subjective opinions of modelers/testers from various perspectives using several questionnaires. The results of the experiment showed that the participants found it difficult to apply AspectSM and weren{\textquoteright}t confident about their solutions. We further observed that the participants{\textquoteright} understandability and experience of applying AspectSM improved after performing various modeling activities. Although, our results seem very generic, but notice that these results provide preliminary evidence about these observations, which is missing in the Aspect-Oriented Modeling literature.},
	keywords = {Conference},
	author = {Ali, Shaukat and Yue, Tao},
	editor = {T. H. {Tse} and Wong, Eric and McMillin, Bruce}
}
@inproceedings {Simula.simula.2844,
	title = {Exploring Model-Based Repositories for a Broad Range of Industrial Applications and Challenges},
	journal = {The 14th International Conference on Quality Software (QSIC)},
	year = {2014},
	publisher = {IEEE},
	type = {Conference},
	address = {Allen, TX, USA},
	abstract = {Nowadays, systems are becoming increasingly complex and large and the process of developing such large-scale systems is becoming complicated with high cost and enormous effort required. Such a complicated process has a prominent challenge to ensure the quality of delivered artifacts. Therefore there is clearly a need to facilitate reuse of developed artifacts (e.g., requirements, architecture, tests) and enable automated analyses such as risk analyses, prioritizing test cases, change impact analysis, with the objective to reduce cost, effort and improve quality. Model-based engineering provides a promising mechanism to facilitate reuse and enable automation. The key idea is to use models as the backbone of structuring repositories that contain reusable artifacts (e.g., test cases, requirements). Such a backbone model is subsequently used to enable various types of automation such as model-based testing and automated rule verification. In this paper, we report 12 industrial projects from five differ-ent industry domains that all require the construction of model-based reposito-ries to enable various types of automation. We believe using models as the backbone to structure repositories for the purpose of enabling different types of automation in different contexts is a new and non-conventional model-based development research approach. This exploratory paper will serve the basis for future research to derive a generic model-based repository.},
	author = {Yue, Tao and Ali, Shaukat},
	editor = {T. H. {Tse} and Wong, Eric and McMillin, Bruce}
}
@inproceedings {Simula.simula.2848,
	title = {Model-Based Testing of Obligations},
	journal = {The 14th International Conference on Quality Software (QSIC)},
	year = {2014},
	publisher = {IEEE},
	type = {Conference},
	address = {Allen, TX, USA},
	abstract = {Obligations are mandatory actions that users must perform, addressing access control requirements. To ensure that such obligations are implemented correctly, an automated and systematic testing approach is often recommended. One such approach is Model-Based Testing (MBT) that allows defining cost-effective testing strategies to support rigorous testing via automation. In this paper, we present MBT for obligations by extending the Unified Modeling Language (UML) via a profile called the Obligations Profile. Based on the profile, we define a modeling methodology based on the concepts of Obligations Class Diagrams (OCDs) and Obligations State Machines (OSMs), which are standard UML Class Diagrams and UML State Machines with stereotypes from the Obligations Profile. Our methodology, using OCDs and OSMs, is automatically enforced by the validation of constraints defined in the profile. To assess the completeness and applicability of the profile and methodology, we modeled 47 obligations from four different systems. The results of our experiment show that we successfully modeled all the obligations and used 75\% of the stereotypes that we defined in the profile. In addition, using OCDs and OSMs, we automatically generate executable test cases using a standard state machine structural coverage criterion and common test data generation strategies. The effectiveness of generated test cases is assessed using mutation analysis on two systems, using mutation operators specifically designed for obligation faults. Test case executions killed 75\% of the mutants and a careful analysis further suggests that more sophisticated testing strategies must be defined to further improve testing effectiveness.},
	keywords = {Conference},
	author = {Rubab, Iram and Ali, Shaukat and Briand, Lionel Claude and Le Traon, Yves},
	editor = {T. H. {Tse} and Wong, Eric and McMillin, Bruce}
}
