Mostrar el registro sencillo del ítem

dc.contributor.authorGalindo J.A.
dc.contributor.authorAcher M.
dc.contributor.authorTirado J.M.
dc.contributor.authorVidal C.
dc.contributor.authorBaudry B.
dc.contributor.authorBenavides D.
dc.date.accessioned2020-09-02T22:18:40Z
dc.date.available2020-09-02T22:18:40Z
dc.date.issued2016
dc.identifier10.1145/2934466.2934478
dc.identifier.citation16-23-September-2016, , 74-78
dc.identifier.urihttps://hdl.handle.net/20.500.12728/4570
dc.descriptionFeature models are widely used to encode the configurations of a software product line in terms of mandatory, optional and exclusive features as well as propositional constraints over the features. Numerous computationally expensive procedures have been developed to model check, test, configure, debug, or compute relevant information of feature models. In this paper we explore the possible improvement of relying on the enumeration of all configurations when performing automated analysis operations. We tackle the challenge of how to scale the existing enumeration techniques by relying on distributed computing. We show that the use of distributed computing techniques might offier practical solutions to previously unsolvable problems and opens new perspectives for the automated analysis of software product lines. © 2016 ACM.
dc.language.isoen
dc.publisherAssociation for Computing Machinery
dc.sourceBagheri E.Mei H.Peng X.Ruiz Cortes A.Selic B.Xiong Y.Rabiser R.Siegmund N.Elsner C.Wei J.Xie B.Andersson J.Wasowski A.Zhang L.Xie Y.Czarnecki K.Berger T.Simmonds J.
dc.titleExploiting the enumeration of all feature model configurations: A new perspective with distributed computing
dc.typeConference Paper


Ficheros en el ítem

Thumbnail

Este ítem aparece en la(s) siguiente(s) colección(ones)

Mostrar el registro sencillo del ítem