References

  1. 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.
  2. 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.
  3. 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.
  4. 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.
  5. 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.
  6. 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.
  7. 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.
  8. 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.
  9. 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.
  10. 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.
  11. 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.
  12. 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.
  13. 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.
  14. 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.
  15. M.A. de Langen (2013): Vehicle Function Correctness. Masters Thesis. Eindhoven University of Technology. Available at http://alexandria.tue.nl/extra1/afstversl/wsk-i/langen2013.pdf.
  16. 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.
  17. 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.
  18. 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.
  19. 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.
  20. 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.
  21. 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.
  22. 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.
  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.
  24. 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.
  25. 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.

Comments and questions to: eptcs@eptcs.org
For website issues: webmaster@eptcs.org