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) 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 )
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
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
