KLEIN, Jacques ; University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC)
LE TRAON, Yves ; University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC)
Co-auteurs externes :
yes
Langue du document :
Anglais
Titre :
Towards automated testing and fixing of re-engineered feature models
Date de publication/diffusion :
2013
Nom de la manifestation :
New Ideas & Emerging Results Track, ICSE
Lieu de la manifestation :
San Francisco, Etats-Unis - Californie
Date de la manifestation :
May 2013
Manifestation à portée :
International
Titre de l'ouvrage principal :
Proceedings of the 2013 International Conference on Software Engineering
Maison d'édition :
IEEE Press, Piscataway, NJ, USA, Inconnu/non spécifié
S. She, R. Lotufo, T. Berger, A. Wasowski, and K. Czarnecki, "Reverse engineering feature models," in ICSE, 2011, pp. 461-470.
K. Kang, S. Cohen, J. Hess, W. Nowak, and S. Peterson, "Featureoriented domain analysis (foda) feasibility study," Technical Report CMU/SEI-90-TR-21, Tech. Rep. CMU/SEI-90-TR-21, 1990.
P.-Y. Schobbens, P. Heymans, and J.-C. Trigaux, "Feature diagrams: A survey and a formal semantics," in RE, 2006, pp. 136-145.
D. Benavides, S. Segura, and A. Ruiz-Cortes, "Automated analysis of feature models 20 years later: A literature review," Information Systems, vol. 35, pp. 615-636, 2010.
C. Kastner, T. Thum, G. Saake, J. Feigenspan, T. Leich, F. Wielgorz, and S. Apel, "Featureide: A tool framework for feature-oriented software development," in ICSE, 2009, pp. 611-614.
D. S. Batory, "Feature Models, Grammars, and Propositional Formulas. " in SPLC. Springer, 2005, pp. 7-20.
E. K. Abbasi, A. Hubaux, and P. Heymans, "A toolset for feature-based configuration workflows," in SPLC, 2011, pp. 65-69.
G. Perrouin, S. Oster, S. Sen, J. Klein, B. Baudry, and Y. L. Traon, "Pairwise testing for software product lines: comparison of two approaches," Software Quality Journal, vol. 20, no. 3-4, pp. 605-643, 2012.
M. Mendoncia, A. Wasowski, and K. Czarnecki, "Sat-based analysis of feature models is easy," in SPLC, 2009, pp. 231-240.
D. Le Berre and A. Parrain, "The sat4j library, release 2. 2, system description," Journal on Satisfiability, Boolean Modeling and Computation (JSAT), vol. 7, pp. 59-64, 2010.
R. E. Lopez-Herrejon, J. Galindo, D. Benavides, S. Segura, and A. Egyed, "Reverse engineering feature models with evolutionary algorithms: An exploratory study," in SSBSE, vol. 7515, 2012, pp. 168-182.
"Tools for analyzing variability in the linux kernel," http://code. google. com/p/linux-variability-analysis-tools/source/browse/?repo= formulas
C. Henard, M. Papadakis, G. Perrouin, J. Klein, P. Heymans, and Y. L. Traon, "Bypassing the combinatorial explosion: Using similarity to generate and prioritize t-wise test suites for large software product lines," CoRR, vol. abs/1211. 5451, 2012. (Online). Available: http://arxiv. org/abs/1211. 5451
S. J. Russell, P. Norvig, J. F. Candy, J. M. Malik, and D. D. Edwards, Artificial intelligence: a modern approach, 1996.
M. Acher, A. Cleve, P. Collet, P. Merle, L. Duchien, and P. Lahire, "Reverse engineering architectural feature models," in ECSA, 2011, pp. 220-235.
Y. Xiong, A. Hubaux, S. She, and K. Czarnecki, "Generating range fixes for software configuration," in ICSE, 2012, pp. 58-68.
R. Tartler, J. Sincero, C. Dietrich, W. Schroder-Preikschat, and D. Lohmann, "Revealing and repairing configuration inconsistencies in large-scale system software," International Journal on Software Tools for Technology Transfer (STTT), pp. 1-21, 2012.
S. Segura, J. A. Galindo, D. Benavides, J. A. Parejo, and A. Ruiz-Cortes, "Betty: benchmarking and testing on the automated analysis of feature models," in Proceedings of the Sixth International Workshop on Variability Modeling of Software-Intensive Systems, 2012, pp. 63-71.
W. B. Langdon and M. Harman, "Genetically improving 50000 lines of C++," Department of Computer Science, University College London, Research Note RN/12/09, 19 Sep. 2012.
C. Le Goues, M. Dewey-Vogt, S. Forrest, and W. Weimer, "A systematic study of automated program repair: Fixing 55 out of 105 bugs for $8 each," in ICSE, 2012, pp. 3-13.
