Difference between revisions of "Publications:Fundamental Approaches to Behavioral Modeling and Model-Based Testing of Software Product Lines"
From CERES
(Created page with "<div style='display: none'> == Do not edit this section == </div> {{PublicationSetupTemplate|Author=Harsh Beohar, Mohammad Reza Mousavi |PID=703590 |Name=Beohar, Harsh [harbeo...") |
(No difference)
|
Latest revision as of 04:43, 26 June 2014
| Title | Fundamental Approaches to Behavioral Modeling and Model-Based Testing of Software Product Lines |
|---|---|
| Author | Harsh Beohar and Mohammad Reza Mousavi |
| Year | 2014 |
| PublicationType | Report |
| Journal | |
| HostPublication | |
| DOI | |
| Conference | |
| Diva url | http://hh.diva-portal.org/smash/record.jsf?searchId=1&pid=diva2:703590 |
| Abstract | In order to provide a rigorous foundation for Software Product Lines (SPLs),several fundamental approaches have been proposed to their formal behavioral modeling. In this paper, we present a structured overview of such approaches andtranslations among them. We work out a common case study in various formalisms to illustratetheir relative strengths and weaknesses. We then show how these approaches can be exploited to enable efficientmodel-based testing of SPLs. |
