P. Asirelli, M. H. ter Beek, A. Fantechi & S. Gnesi (2011):
A Model-Checking Tool for Families of Services.
In: R. Bruni & J. Dingel: Formal Techniques for Distributed Systems,
Lecture Notes in Computer Science 6722.
Springer Berlin Heidelberg,
pp. 44–58,
doi:10.1007/978-3-642-21461-5_3.
P. Asirelli, M. H. ter Beek, S. Gnesi & A. Fantechi (2011):
Formal Description of Variability in Product Families.
In: E. Almeida, T. Kishi, C. Schwanninger, I. John & K. Schmid: Proc. of 15th International Software Product Line Conference.
IEEE,
pp. 130–139,
doi:10.1109/SPLC.2011.34.
H. Beohar & M. R. Mousavi (2014):
Input-Output Conformance Testing Based on Featured Transition Systems.
In: Proceedings of the the 29th Symposium On Applied Computing.
ACM Press.
To appear, available from: http://ceres.hh.se/mediawiki/images/b/b0/ Mousavi_svt_2014.pdf.
M. Broy, B. Jonsson, J.-P. Katoen, M. Leucker & A. Pretschner (2005):
Model-Based Testing of Reactive Systems.
Lecture Notes in Computer Science 3472.
Springer Berlin Heidelberg,
doi:10.1007/b137241.
D. Clarke, M. Helvensteijn & I. Schaefer (2010):
Abstract delta modeling.
In: E. Visser & J. Järvi: Proceedings of the 9th international conference on Generative programming and component engineering,
GPCE '10.
ACM,
NY, USA,
pp. 13–22,
doi:10.1145/1868294.1868298.
A. Classen (2010):
Modelling with FTS: a Collection of Illustrative Examples.
Technical Report P-CS-TR SPLMC-00000001.
PReCISE Research Center, University of Namur.
Available at http://www.fundp.ac.be/pdf/publications/69416.pdf.
A. Classen, M. Cordy, P.-Y. Schobbens, P. Heymans, A. Legay & J.-F. Raskin (2013):
Featured Transition Systems: Foundations for Verifying Variability-Intensive Systems and Their Application to LTL Model Checking.
IEEE Transactions on Software Engineering 39(8),
pp. 1069–1089,
doi:10.1109/TSE.2012.86.
A. Classen, P. Heymans, P.-Y. Schobbens, A. Legay & J.-F. Raskin (2010):
Model Checking Lots of Systems: Efficient Verification of Temporal Properties in Software Product Lines.
In: J. Kramer, J. Bishop, P. T. Devanbu & S. Uchitel: 32nd International Conference on Software Engineering,
ICSE '10 1.
ACM,
New York, NY, USA,
pp. 335–344,
doi:10.1145/1806799.1806850.
K. Czarnecki, P. Grünbacher, R. Rabiser, K. Schmid & A. Wasowski (2012):
Cool Features and Tough Decisions: A Comparison of Variability Modeling Approaches.
In: U. W. Eisenecker, S. Apel & S. Gnesi: Proceedings of the Sixth International Workshop on Variability Modeling of Software-Intensive Systems,
VaMoS '12.
ACM,
New York, NY, USA,
pp. 173–182,
doi:10.1145/2110147.2110167.
E. Engström & P. Runeson (2011):
Software Product Line Testing - A Systematic Mapping Study.
Information & Software Technology 53(1),
pp. 2–13,
doi:10.1016/j.infsof.2010.05.011.
D. Fischbein, S. Uchitel & V. Braberman (2006):
A Foundation for Behavioural Conformance in Software Product Line Architectures.
In: R. M. Hierons & H. Muccini: Proceedings of the ISSTA 2006 Workshop on Role of Software Architecture for Testing and Analysis,
ROSATEA '06.
ACM,
New York, NY, USA,
pp. 39–48,
doi:10.1145/1147249.1147254.
A. Gruler, M. Leucker & K. Scheidemann (2008):
Modeling and Model Checking Software Product Lines.
In: G. Barthe & F. S. de Boer: Proceedings of the 10th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems,
Lecture Notes in Computer Science 5051.
Springer-Verlag,
Berlin, Heidelberg,
pp. 113–131,
doi:10.1007/978-3-540-68863-1_8.
K. Kang, S. Cohen, J. Hess, W. Novak & S. Peterson (1990):
Feature-Oriented Domain Analysis (FODA) Feasibility Study.
Technical Report CMU/SEI-90-TR-21.
Software Engineering Institute, Carnegie Mellon University,
Pittsburgh, Pennsylvania.
Available at http://resources.sei.cmu.edu/library/asset-view.cfm?AssetID=11231.
B. P. Lamancha, M. Polo & M. Piattini (2013):
Systematic Review on Software Product Line Testing.
In: J. Cordeiro, M. Virvou & B. Shishkov: Software and Data Technologies,
Comm. in Computer and Information Science 170.
Springer Berlin Heidelberg,
pp. 58–71,
doi:10.1007/978-3-642-29578-2_4.
K. G. Larsen, U. Nyman & A. Wąsowski (2007):
Modal I/O Automata for Interface and Product Line Theories.
In: Programming Languages and Systems,
Lecture Notes in Computer Science 4421.
Springer Berlin Heidelberg,
pp. 64–79,
doi:10.1007/978-3-540-71316-6_6.
M. Lochau, I. Schaefer, J. Kamischke & S. Lity (2012):
Incremental Model-Based Testing of Delta-Oriented Software Product Lines.
In: A. D. Brucker & J. Julliand: Tests and Proofs,
Lecture Notes in Computer Science 7305.
Springer Berlin Heidelberg,
pp. 67–82,
doi:10.1007/978-3-642-30473-6_7.
Paulo Anselmo da Mota Silveira Neto, Ivan do Carmo Machado, John D. McGregor, Eduardo Santana de Almeida & Silvio Romero de Lemos Meira (2011):
A systematic mapping study of software product lines testing.
Information and Software Technology 53(5),
pp. 407–423,
doi:10.1016/j.infsof.2010.12.003.
S. Oster, A. Wübbeke, G. Engels & A. Schürr (2011):
A Survey of Model-Based Software Product Lines Testing.
In: J. Zander, I. Schieferdecker & P. J. Mosterman: Model-based Testing for Embedded Systems.
CRC Press,
pp. 339–381,
doi:10.1201/b11321-14.
I. Schaefer, R. Rabiser, D. Clarke, L. Bettini, D. Benavides, G. Botterweck, A. Pathak, S. Trujillo & K. Villela (2012):
Software diversity: state of the art and perspectives.
International Journal on Software Tools for Technology Transfer 14(5),
pp. 477–495,
doi:10.1007/s10009-012-0253-y.
K. Schmid, R. Rabiser & P. Grünbacher (2011):
A Comparison of Decision Modeling Approaches in Product Lines.
In: P. Heymans, K. Czarnecki & U. W. Eisenecker: Proceedings of the 5th Workshop on Variability Modeling of Software-Intensive Systems,
VaMoS '11.
ACM,
New York, NY, USA,
pp. 119–126,
doi:10.1145/1944892.1944907.
P.-Y. Schobbens, P. Heymans & J.-C. Trigaux (2006):
Feature Diagrams: A Survey and a Formal Semantics.
In: Proc. of the 14th IEEE International Conference on Requirements Engineering,
RE '06.
IEEE Computer Society,
Washington, DC, USA,
pp. 136–145,
doi:10.1109/RE.2006.23.
M. Sinnema & S. Deelstra (2007):
Classifying Variability Modeling Techniques.
Information & Software Technology 49(7),
pp. 717–739,
doi:10.1016/j.infsof.2006.08.001.
J. Tretmans (2008):
Model Based Testing with Labelled Transition Systems.
In: R. M. Hierons, J. P. Bowen & M. Harman: Formal Methods and Testing, chapter I,
Lecture Notes in Computer Science 4949.
Springer Berlin Heidelberg,
pp. 1–38,
doi:10.1007/978-3-540-78917-8_1.
M. Yannakakis & D. Lee (1999):
Testing of Finite State Systems.
In: G. Gottlob, E. Grandjean & K. Seyr: Computer Science Logic,
Lecture Notes in Computer Science 1584.
Springer Berlin Heidelberg,
pp. 29–44,
doi:10.1007/10703163_3.