Browse wiki

From CERES
Jump to: navigation, search
Publications:Fundamental Approaches to Behavioral Modeling and Model-Based Testing of Software Product Lines
Abstract <p>In order to provide a rigorous fo … <p>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.</p>ientmodel-based testing of SPLs.</p>
Author Harsh Beohar + , Mohammad Reza Mousavi +
Diva http://hh.diva-portal.org/smash/record.jsf?searchId=1&pid=diva2:703590
PublicationType Report  +
Title Fundamental Approaches to Behavioral Modeling and Model-Based Testing of Software Product Lines  +
Year 2014  +
Has queryThis property is a special property in this wiki. Publications:Fundamental Approaches to Behavioral Modeling and Model-Based Testing of Software Product Lines + , Publications:Fundamental Approaches to Behavioral Modeling and Model-Based Testing of Software Product Lines + , Publications:Fundamental Approaches to Behavioral Modeling and Model-Based Testing of Software Product Lines + , Publications:Fundamental Approaches to Behavioral Modeling and Model-Based Testing of Software Product Lines + , Publications:Fundamental Approaches to Behavioral Modeling and Model-Based Testing of Software Product Lines + , Publications:Fundamental Approaches to Behavioral Modeling and Model-Based Testing of Software Product Lines + , Publications:Fundamental Approaches to Behavioral Modeling and Model-Based Testing of Software Product Lines + , Publications:Fundamental Approaches to Behavioral Modeling and Model-Based Testing of Software Product Lines + , Publications:Fundamental Approaches to Behavioral Modeling and Model-Based Testing of Software Product Lines + , Publications:Fundamental Approaches to Behavioral Modeling and Model-Based Testing of Software Product Lines +
Categories Publication  +
Modification dateThis property is a special property in this wiki. 26 June 2014 03:43:22  +
hide properties that link here 
  No properties link to this page.
 

 

Enter the name of the page to start browsing from.
Retrieved from "https://wiki.hh.se/ceres/index.php/Special:Browse/Publications:Fundamental-20Approaches-20to-20Behavioral-20Modeling-20and-20Model-2DBased-20Testing-20of-20Software-20Product-20Lines"