Hamza Samih et Ralf Bogusch, « MPLM - MaTeLo Product Line Manager: [Relating Variability Modelling and Model-based Testing] », Proceedings of the 18th International Software Product Line Conference: Companion Volume for Workshops, Demonstrations and Tools - Volume 2, ACM, sPLC '14, , p. 138–142 (ISBN9781450327398, DOI10.1145/2647908.2655980, lire en ligne, consulté le )
H. Le Guen et T. Thelin, « Practical experiences with statistical usage testing », Eleventh Annual International Workshop on Software Technology and Engineering Practice, , p. 87–93 (DOI10.1109/STEP.2003.24, lire en ligne, consulté le )
W. Dulz and, « MaTeLo - statistical usage testing by annotated sequence diagrams, Markov chains and TTCN-3 », Third International Conference on Quality Software, 2003. Proceedings., , p. 336–342 (DOI10.1109/QSIC.2003.1319119, lire en ligne, consulté le )
and and, « Automated TTCN-3 test case generation by means of UML sequence diagrams and Markov chains », 2003 Test Symposium, , p. 102–105 (DOI10.1109/ATS.2003.1250791, lire en ligne, consulté le )
H. Le Guen, R. Marie et T. Thelin, « Reliability estimation for statistical usage testing using Markov chains », 15th International Symposium on Software Reliability Engineering, , p. 54–65 (DOI10.1109/ISSRE.2004.33, lire en ligne, consulté le )
and, « A system test methodology based on the Markov chain usage model », 8th International Conference on Computer Supported Cooperative Work in Design, vol. 1, , p. 160–165 Vol.1 (DOI10.1109/CACWD.2004.1349006, lire en ligne, consulté le )
V. Marinkovic, B. Kordic, M. Popovic et V. Pekovic, « A method for creating the operational profile of TV/STB device to be used for statistical testing », Eurocon 2013, , p. 93–97 (DOI10.1109/EUROCON.2013.6624971, lire en ligne, consulté le )
Hamza Samih, Hélène Le Guen, Ralf Bogusch et Mathieu Acher, « An Approach to Derive Usage Models Variants for Model-Based Testing », dans Advanced Information Systems Engineering, Springer Berlin Heidelberg, (ISBN9783642387081, lire en ligne), p. 80–96
H. Samih, H. L. Guen, R. Bogusch et M. Acher, « Deriving Usage Model Variants for Model-Based Testing: An Industrial Case Study », 2014 19th International Conference on Engineering of Complex Computer Systems, , p. 77–80 (DOI10.1109/ICECCS.2014.19, lire en ligne, consulté le )
Hamza Samih et Ralf Bogusch, « MPLM - MaTeLo Product Line Manager: [Relating Variability Modelling and Model-based Testing] », Proceedings of the 18th International Software Product Line Conference: Companion Volume for Workshops, Demonstrations and Tools - Volume 2, ACM, sPLC '14, , p. 138–142 (ISBN9781450327398, DOI10.1145/2647908.2655980, lire en ligne, consulté le )
(en) Héléne Le Guen, Frederique Vallée et Anthony Faucogney, « Model-Based Testing Automatic Generation of Test Cases Using the Markov Chain Model », dans Industrial Use of Formal Methods, John Wiley & Sons, Ltd, (ISBN9781118561829, DOI10.1002/9781118561829.ch2, lire en ligne), p. 29–81
google.fr
books.google.fr
(en) Mercedes G. Merayo et Edgardo Montes de Oca, Testing software and systems : 26th IFIP WG 6.1 International Conference, ICTSS 2014, Madrid, Spain, September 23-25, 2014. Proceedings, Heidelberg, Springer, (ISBN978-3-662-44857-1, lire en ligne)
H. Le Guen et T. Thelin, « Practical experiences with statistical usage testing », Eleventh Annual International Workshop on Software Technology and Engineering Practice, , p. 87–93 (DOI10.1109/STEP.2003.24, lire en ligne, consulté le )
W. Dulz and, « MaTeLo - statistical usage testing by annotated sequence diagrams, Markov chains and TTCN-3 », Third International Conference on Quality Software, 2003. Proceedings., , p. 336–342 (DOI10.1109/QSIC.2003.1319119, lire en ligne, consulté le )
and and, « Automated TTCN-3 test case generation by means of UML sequence diagrams and Markov chains », 2003 Test Symposium, , p. 102–105 (DOI10.1109/ATS.2003.1250791, lire en ligne, consulté le )
H. Le Guen, R. Marie et T. Thelin, « Reliability estimation for statistical usage testing using Markov chains », 15th International Symposium on Software Reliability Engineering, , p. 54–65 (DOI10.1109/ISSRE.2004.33, lire en ligne, consulté le )
and, « A system test methodology based on the Markov chain usage model », 8th International Conference on Computer Supported Cooperative Work in Design, vol. 1, , p. 160–165 Vol.1 (DOI10.1109/CACWD.2004.1349006, lire en ligne, consulté le )
V. Marinkovic, B. Kordic, M. Popovic et V. Pekovic, « A method for creating the operational profile of TV/STB device to be used for statistical testing », Eurocon 2013, , p. 93–97 (DOI10.1109/EUROCON.2013.6624971, lire en ligne, consulté le )
H. Samih, H. L. Guen, R. Bogusch et M. Acher, « Deriving Usage Model Variants for Model-Based Testing: An Industrial Case Study », 2014 19th International Conference on Engineering of Complex Computer Systems, , p. 77–80 (DOI10.1109/ICECCS.2014.19, lire en ligne, consulté le )
V. Marinković, B. Kordić, M. Popović et V. Peković, « Improved automatic DTV/STB menu navigation for functional verification », 2013 36th International Convention on Information and Communication Technology, Electronics and Microelectronics (MIPRO), , p. 847–850 (lire en ligne, consulté le )
(en) Héléne Le Guen, Frederique Vallée et Anthony Faucogney, « Model-Based Testing Automatic Generation of Test Cases Using the Markov Chain Model », dans Industrial Use of Formal Methods, John Wiley & Sons, Ltd, (ISBN9781118561829, DOI10.1002/9781118561829.ch2, lire en ligne), p. 29–81
