{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,6]],"date-time":"2025-11-06T20:01:32Z","timestamp":1762459292782},"reference-count":62,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2015,7,24]],"date-time":"2015-07-24T00:00:00Z","timestamp":1437696000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Softw Syst Model"],"published-print":{"date-parts":[[2017,2]]},"DOI":"10.1007\/s10270-015-0479-8","type":"journal-article","created":{"date-parts":[[2015,7,23]],"date-time":"2015-07-23T05:18:59Z","timestamp":1437628739000},"page":"153-171","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":30,"title":["Statistical prioritization for software product line testing: an experience report"],"prefix":"10.1007","volume":"16","author":[{"given":"Xavier","family":"Devroey","sequence":"first","affiliation":[]},{"given":"Gilles","family":"Perrouin","sequence":"additional","affiliation":[]},{"given":"Maxime","family":"Cordy","sequence":"additional","affiliation":[]},{"given":"Hamza","family":"Samih","sequence":"additional","affiliation":[]},{"given":"Axel","family":"Legay","sequence":"additional","affiliation":[]},{"given":"Pierre-Yves","family":"Schobbens","sequence":"additional","affiliation":[]},{"given":"Patrick","family":"Heymans","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2015,7,24]]},"reference":[{"key":"479_CR1","unstructured":"Airbus defence & space - sferion: http:\/\/www.defenceandsecurity-airbusds.com\/fr\/sferion"},{"key":"479_CR2","unstructured":"ALL4TEC - MaTeLo: http:\/\/all4tec.net\/index.php\/en\/model-based-testing\/20-markov-test-logic-matelo"},{"key":"479_CR3","doi-asserted-by":"publisher","unstructured":"Asirelli, P., ter Beek, M., Gnesi, S., Fantechi, A.: Formal description of variability in product families. In: Software product line conference (SPLC), 15th International, pp. 130\u2013139 (2011). doi: 10.1109\/SPLC.2011.34","DOI":"10.1109\/SPLC.2011.34"},{"key":"479_CR4","doi-asserted-by":"publisher","unstructured":"Asirelli, P., ter Beek, M.H., Fantechi, A., Gnesi, S., Mazzanti, F.: Design and validation of variability in product lines. In: Proceedings of the 2nd International Workshop on Product Line Approaches in Software Engineering, PLEASE \u201911, ACM, New York, 25\u201330. (2011). doi: 10.1145\/1985484.1985492","DOI":"10.1145\/1985484.1985492"},{"key":"479_CR5","volume-title":"Principles of Model Checking","author":"C Baier","year":"2008","unstructured":"Baier, C., Katoen, J.P.: Principles of Model Checking. MIT Press, Massachusetts (2008)"},{"issue":"2","key":"479_CR6","doi-asserted-by":"publisher","first-page":"142","DOI":"10.1016\/0890-5401(92)90017-A","volume":"98","author":"JR Burch","year":"1992","unstructured":"Burch, J.R., Clarke, E.M., McMillan, K.L., Dill, D.L., Hwang, L.J.: Symbolic model checking: 1020 states and beyond. Inf. Comput. 98(2), 142\u2013170 (1992). doi: 10.1016\/0890-5401(92)90017-A","journal-title":"Inf. Comput."},{"key":"479_CR7","doi-asserted-by":"crossref","unstructured":"Cichos, H., Oster, S., Lochau, M., Sch\u00fcrr, A.: Model-based coverage-driven test suite generation for software product lines. In: Proceedings of the 14th International Conference on Model Driven Engineering Languages and Systems, MODELS\u201911, Springer, Heidelberg, pp.425\u2013439. (2011). http:\/\/dl.acm.org\/citation.cfm?id=2050655.2050698","DOI":"10.1007\/978-3-642-24485-8_31"},{"key":"479_CR8","unstructured":"Claroline: http:\/\/www.claroline.net\/"},{"key":"479_CR9","doi-asserted-by":"publisher","unstructured":"Classen, A., Boucher, Q., Heymans, P.: A text-based approach to feature modelling: syntax and semantics of TVL. Science of computer programming 76(12), 1130\u20131143 (2011). doi: 10.1016\/j.scico.2010.10.005 . http:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0167642310001899","DOI":"10.1016\/j.scico.2010.10.005"},{"issue":"8","key":"479_CR10","doi-asserted-by":"publisher","first-page":"1069","DOI":"10.1109\/TSE.2012.86","volume":"39","author":"A Classen","year":"2013","unstructured":"Classen, A., Cordy, M., Schobbens, P.Y., Heymans, P., Legay, A., Raskin, J.F.: Featured transition systems: foundations for verifying variability-intensive systems and their application to LTL model checking. IEEE Trans. Softw. Eng. 39(8), 1069\u20131089 (2013). doi: 10.1109\/TSE.2012.86","journal-title":"IEEE Trans. Softw. Eng."},{"key":"479_CR11","doi-asserted-by":"crossref","unstructured":"Classen, A., Heymans, P., Schobbens, P.Y.: What\u2019s in a Feature: A requirements engineering perspective. In: Fiadeiro, J.L., Inverardi, P. (eds.) Proceedings of the 11th International Conference on Fundamental Approaches to Software Engineering (FASE\u201908), Held as Part of the Joint European Conferences on Theory and Practice of Software (ETAPS\u201908), LNCS, vol. 4961, pp. 16\u201330. Springer, Heidelberg (2008). http:\/\/www.cs.le.ac.uk\/events\/fase2008\/","DOI":"10.1007\/978-3-540-78743-3_2"},{"key":"479_CR12","doi-asserted-by":"publisher","unstructured":"Classen, A., Heymans, P., Schobbens, P.Y., Legay, A.: Symbolic model checking of software product lines. In: Proceedings of the 33rd International Conference on Software Engineering, ICSE \u201911, pp. 321\u2013330. ACM, New York (2011). doi: 10.1145\/1985793.1985838","DOI":"10.1145\/1985793.1985838"},{"key":"479_CR13","doi-asserted-by":"publisher","unstructured":"Classen, A., Heymans, P., Schobbens, P.Y., Legay, A., Raskin, J.F.: Model checking lots of systems: efficient verification of temporal properties in software product lines. In: Proceedings of the 32Nd ACM\/IEEE International Conference on Software Engineering - Vol 1, ICSE \u201910, pp. 335\u2013344. ACM, New York (2010). doi: 10.1145\/1806799.1806850","DOI":"10.1145\/1806799.1806850"},{"key":"479_CR14","doi-asserted-by":"publisher","unstructured":"Cohen, M., Dwyer, M., Shi, J.: Constructing interaction test suites for highly-configurable systems in the presence of constraints: a greedy approach. IEEE Trans. Softw. Eng. 34(5), 633\u2013650 (2008). doi: 10.1109\/TSE.2008.50 . http:\/\/ieeexplore.ieee.org\/lpdocs\/epic03\/wrapper.htm?arnumber=4564473","DOI":"10.1109\/TSE.2008.50"},{"key":"479_CR15","doi-asserted-by":"publisher","unstructured":"Cohen, M.B., Dwyer, M.B., Shi, J.: Coverage and adequacy in software product line testing. In: Proceedings of the ISSTA 2006 Workshop on Role of Software Architecture for Testing and Analysis, ROSATEA \u201906, pp. 53\u201363. ACM, New York (2006). doi: 10.1145\/1147249.1147257","DOI":"10.1145\/1147249.1147257"},{"key":"479_CR16","doi-asserted-by":"publisher","unstructured":"Cohen, M.B., Dwyer, M.B., Shi, J.: Interaction testing of highly-configurable systems in the presence of constraints. In: Proceedings of the 2007 International Symposium on Software Testing and Analysis, ISSTA \u201907, pp. 129\u2013139. ACM, New York (2007). doi: 10.1145\/1273463.1273482","DOI":"10.1145\/1273463.1273482"},{"key":"479_CR17","doi-asserted-by":"publisher","unstructured":"Cordy, M., Classen, A., Heymans, P., Schobbens, P.Y., Legay, A.: Provelines: a product line of verifiers for software product lines. In: Proceedings of the 17th International Software Product Line Conference Co-located Workshops, SPLC \u201913 Workshops, pp. 141\u2013146. ACM, New York (2013). doi: 10.1145\/2499777.2499781","DOI":"10.1145\/2499777.2499781"},{"key":"479_CR18","unstructured":"Cordy, M., Heymans, P., Schobbens, P.Y., Sharifloo, A.M., Ghezzi, C., Legay, A.: Verification for reliable product lines. arXiv:1311.1343 (2013)"},{"key":"479_CR19","doi-asserted-by":"publisher","unstructured":"Czarnecki, K., Wasowski, A.: Feature diagrams and logics: there and back again. In: SPLC \u201907, pp. 23\u201334. IEEE (2007). doi: 10.1109\/SPLINE.2007.24","DOI":"10.1109\/SPLINE.2007.24"},{"key":"479_CR20","doi-asserted-by":"publisher","first-page":"208","DOI":"10.1007\/978-3-642-34026-0_16","volume-title":"Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change, Lecture Notes in Computer Science","author":"X Devroey","year":"2012","unstructured":"Devroey, X., Cordy, M., Perrouin, G., Kang, E.Y., Schobbens, P.Y., Heymans, P., Legay, A., Baudry, B.: A vision for behavioural model-driven validation of software product lines. In: Margaria, T., Steffen, B. (eds.) Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change, Lecture Notes in Computer Science, vol. 7609, pp. 208\u2013222. Springer, Berlin Heidelberg (2012). doi: 10.1007\/978-3-642-34026-0_16"},{"key":"479_CR21","unstructured":"Devroey, X., Perrouin, G.: Variability intensive system behavioural testing framework (VIBeS) (2014). https:\/\/projects.info.unamur.be\/vibes\/"},{"key":"479_CR22","doi-asserted-by":"publisher","unstructured":"Devroey, X., Perrouin, G., Cordy, M., Schobbens, P., Legay, A., Heymans, P.: Towards statistical prioritization for software product lines testing. In: Collet, P., Wasowski, A., Weyer, T. (eds.) The Eighth International Workshop on Variability Modelling of Software-intensive Systems, VaMoS \u201914, Sophia Antipolis, France, January 22\u201324, 2014, p. 10. ACM (2014). doi: 10.1145\/2556624.2556635","DOI":"10.1145\/2556624.2556635"},{"key":"479_CR23","doi-asserted-by":"publisher","unstructured":"Devroey, X., Perrouin, G., Legay, A., Cordy, M., Schobbens, P., Heymans, P.: Coverage criteria for behavioural testing of software product lines. In: Margaria, T., Steffen, B. (eds.) Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change - 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8\u201311, 2014, Proceedings, Part I, Lecture Notes in Computer Science, vol. 8802, pp. 336\u2013350. Springer (2014). doi: 10.1007\/978-3-662-45234-9_24","DOI":"10.1007\/978-3-662-45234-9_24"},{"key":"479_CR24","doi-asserted-by":"publisher","unstructured":"Devroey, X., Perrouin, G., Schobbens, P.: Abstract test case generation for behavioural testing of software product lines. In: Gnesi, S., Fantechi, A., ter Beek, M.H., Botterweck, G., Becker, M. (eds.) 18th International Software Product Lines Conference - Companion Volume for Workshop, Tools and Demo papers, SPLC \u201914, Florence, Italy, September 15\u201319, 2014, pp. 86\u201393. ACM (2014). doi: 10.1145\/2647908.2655971","DOI":"10.1145\/2647908.2655971"},{"key":"479_CR25","doi-asserted-by":"publisher","unstructured":"Feliachi, A., Le Guen, H.: Generating transition probabilities for automatic model-based test generation. In: Software testing, verification and validation (ICST), third international conference, pp. 99\u2013102 (2010). doi: 10.1109\/ICST.2010.26","DOI":"10.1109\/ICST.2010.26"},{"key":"479_CR26","doi-asserted-by":"publisher","unstructured":"Fischbein, D., Uchitel, S., Braberman, V.: A foundation for behavioural conformance in software product line architectures. In: Proceedings of the ISSTA 2006 Workshop on Role of Software Architecture for Testing and Analysis, ROSATEA \u201906, pp. 39\u201348. ACM, New York (2006). doi: 10.1145\/1147249.1147254","DOI":"10.1145\/1147249.1147254"},{"key":"479_CR27","doi-asserted-by":"publisher","unstructured":"Garca-Teodoro, P., Daz-Verdejo, J., Maci-Fernndez, G., Vzquez, E.: Anomaly-based network intrusion detection: techniques, systems and challenges. Comput. Secur. 28(12), 18\u201328 (2009). doi: 10.1016\/j.cose.2008.08.003 . http:\/\/www.sciencedirect.com\/science\/article\/pii\/S0167404808000692","DOI":"10.1016\/j.cose.2008.08.003"},{"key":"479_CR28","doi-asserted-by":"crossref","unstructured":"Ghezzi, C., Pezz\u00e8, M., Sama, M., Tamburrelli, G.: Mining behavior models from user-intensive web applications categories and subject descriptors. In: 36th International Conference on Software Engineering, ICSE \u201914. ACM, Hyderabad (2014)","DOI":"10.1145\/2568225.2568234"},{"key":"479_CR29","doi-asserted-by":"publisher","unstructured":"Gouraud, S.D., Denise, A., Gaudel, M.C., Marre, B.: A new way of automating statistical testing methods. In: Automated software engineering, 2001. (ASE 2001). In: Proceedings 16th Annual International Conference on Automated Software Engineering, pp. 5\u201312 (2001). doi: 10.1109\/ASE.2001.989785","DOI":"10.1109\/ASE.2001.989785"},{"key":"479_CR30","doi-asserted-by":"publisher","unstructured":"Henard, C., Papadakis, M., Perrouin, G., Klein, J., Heymans, P., Le Traon, Y.: Bypassing the combinatorial explosion: using similarity to generate and prioritize T-wise test configurations for software product lines. IEEE Trans. Soft. Eng. 40(7), 650\u2013670 (2014). doi: 10.1109\/TSE.2014.2327020 . http:\/\/ieeexplore.ieee.org\/lpdocs\/epic03\/wrapper.htm?arnumber=6823132","DOI":"10.1109\/TSE.2014.2327020"},{"key":"479_CR31","doi-asserted-by":"publisher","unstructured":"Henard, C., Papadakis, M., Perrouin, G., Klein, J., Traon, Y.L.: Multi-objective test generation for software product lines. In: Proceedings of the 17th International Software Product Line Conference, SPLC \u201913, pp. 62\u201371. ACM, New York (2013). doi: 10.1145\/2491627.2491635","DOI":"10.1145\/2491627.2491635"},{"key":"479_CR32","doi-asserted-by":"publisher","first-page":"269","DOI":"10.1007\/978-3-642-33666-9_18","volume-title":"Model Driven Engineering Languages and Systems, Lecture Notes in Computer Science","author":"M Johansen","year":"2012","unstructured":"Johansen, M., Haugen, O., Fleurey, F., Eldegard, A., Syversen, T.: Generating better partial covering arrays by modeling weights on sub-product lines. In: France, R., Kazmeier, J., Breu, R., Atkinson, C. (eds.) Model Driven Engineering Languages and Systems, Lecture Notes in Computer Science, vol. 7590, pp. 269\u2013284. Springer, Berlin Heidelberg (2012). doi: 10.1007\/978-3-642-33666-9_18"},{"key":"479_CR33","doi-asserted-by":"crossref","unstructured":"Kang, K.C., Cohen, S.G., Hess, J.A., Novak, W.E., Spencer Peterson, A.: Feature-oriented domain analysis (FODA) feasibility study. Tech. rep., Software Engineering Institute, Carnegie Mellon University (1990)","DOI":"10.21236\/ADA235785"},{"key":"479_CR34","doi-asserted-by":"publisher","unstructured":"Kim, C., Khurshid, S., Batory, D.: Shared execution for efficiently testing product lines. In: Software reliability engineering (ISSRE), IEEE 23rd International Symposium on, pp. 221\u2013230 (2012). doi: 10.1109\/ISSRE.2012.23","DOI":"10.1109\/ISSRE.2012.23"},{"key":"479_CR35","doi-asserted-by":"publisher","unstructured":"Lauenroth, K., Pohl, K., Toehning, S.: Model checking of domain artifacts in product line engineering. In: Automated software engineering, ASE \u201909. 24th IEEE\/ACM international conference, pp. 269\u2013280 (2009). doi: 10.1109\/ASE.2009.16","DOI":"10.1109\/ASE.2009.16"},{"issue":"3\u20134","key":"479_CR36","doi-asserted-by":"publisher","first-page":"567","DOI":"10.1007\/s11219-011-9165-4","volume":"20","author":"M Lochau","year":"2012","unstructured":"Lochau, M., Oster, S., Goltz, U., Sch\u00fcrr, A.: Model-based pairwise testing for feature interaction coverage in software product line engineering. Softw. Qual. J. 20(3\u20134), 567\u2013604 (2012). doi: 10.1007\/s11219-011-9165-4","journal-title":"Softw. Qual. J."},{"key":"479_CR37","volume-title":"Foundations of Software Testing","author":"AP Mathur","year":"2008","unstructured":"Mathur, A.P.: Foundations of Software Testing. Pearson Education, New York (2008)"},{"key":"479_CR38","doi-asserted-by":"publisher","unstructured":"Metzger, A., Pohl, K.: Software product line engineering and variability management: achievements and challenges. In: Proceedings of the on Future of Software Engineering, FOSE, pp. 70\u201384. ACM, New York (2014). doi: 10.1145\/2593882.2593888","DOI":"10.1145\/2593882.2593888"},{"key":"479_CR39","doi-asserted-by":"publisher","unstructured":"Michel, R., Classen, A., Hubaux, A., Boucher, Q.: A formal semantics for feature cardinalities in feature diagrams. In: Proceedings of the 5th Workshop on Variability Modeling of Software-Intensive Systems, VaMoS, pp. 82\u201389. ACM, New York (2011). doi: 10.1145\/1944892.1944902","DOI":"10.1145\/1944892.1944902"},{"key":"479_CR40","first-page":"333","volume":"154","author":"JD Musa","year":"1996","unstructured":"Musa, J.D., Fuoco, G., Irving, N., Kropfl, D., Juhlin, B.: The operational profile. NATO ASI Ser. Comput. Syst. Sci. 154, 333\u2013344 (1996)","journal-title":"NATO ASI Ser. Comput. Syst. Sci."},{"key":"479_CR41","doi-asserted-by":"publisher","unstructured":"Nguyen, H.V., K\u00e4stner, C., Nguyen, T.N.: Exploring variability-aware execution for testing plugin-based web applications. In: Jalote, P., Briand, L.C., van der Hoek, A. (eds.) 36th international conference on software engineering, ICSE \u201914, Hyderabad, India - May 31 - June 07, 2014, pp. 907\u2013918. ACM (2014). doi: 10.1145\/2568225.2568300","DOI":"10.1145\/2568225.2568300"},{"key":"479_CR42","doi-asserted-by":"crossref","unstructured":"Oster, S., W\u00f6bbeke, A., Engels, G., Sch\u00fcrr, A.: Model-based software product lines testing survey. In: Model-Based Testing for Embedded Systems, pp. 339\u2013382. CRC Press (2011)","DOI":"10.1201\/b11321-14"},{"issue":"3\u20134","key":"479_CR43","doi-asserted-by":"publisher","first-page":"605","DOI":"10.1007\/s11219-011-9160-9","volume":"20","author":"G Perrouin","year":"2012","unstructured":"Perrouin, G., Oster, S., Sen, S., Klein, J., Baudry, B., le Traon, Y.: Pairwise testing for software product lines: comparison of two approaches. Softw. Qual. J. 20(3\u20134), 605\u2013643 (2012). doi: 10.1007\/s11219-011-9160-9","journal-title":"Softw. Qual. J."},{"key":"479_CR44","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-28901-1","volume-title":"Software Product Line Engineering: Foundations, Principles, and Techniques","author":"K Pohl","year":"2005","unstructured":"Pohl, K., B\u00f6ckle, G., Van Der Linden, F.: Software Product Line Engineering: Foundations, Principles, and Techniques. Springer, New York (2005)"},{"key":"479_CR45","doi-asserted-by":"publisher","unstructured":"Prowell, S.J.: JUMBL: a tool for model-based statistical testing. In: System sciences. In: Proceedings of the 36th Annual Hawaii International Conference, p. 9 (2003). doi: 10.1109\/HICSS.2003.1174916","DOI":"10.1109\/HICSS.2003.1174916"},{"key":"479_CR46","doi-asserted-by":"publisher","unstructured":"von Rhein, A., Apel, S., K\u00e4stner, C., Th\u00fcm, T., Schaefer, I.: The PLA model: on the combination of product-line analyses. In: Proceedings of the Seventh International Workshop on Variability Modelling of Software-intensive Systems (VaMoS). pp. 14:1\u201314:8. ACM, New York (2013). doi: 10.1145\/2430502.2430522","DOI":"10.1145\/2430502.2430522"},{"key":"479_CR47","unstructured":"Samih, H., Acher, M., Bogusch, R., Le Guen, H., Baudry, B.: Deriving usage model variants for model-based testing: an industrial case study. In: IEEE (ed.) 19th international conference on engineering of complex computer systems (ICECCS). Tianjin, Chine (2014). http:\/\/hal.inria.fr\/hal-01002099"},{"key":"479_CR48","doi-asserted-by":"publisher","unstructured":"Samih, H., Bogusch, R.: MPLM - MaTeLo Product line manager. In: Proceedings of the 18th International Software Product Line Conference: Companion Volume for Workshops, Demonstrations and Tools - Vol 2, SPLC , pp. 138\u2013142. ACM, New York (2014). doi: 10.1145\/2647908.2655980","DOI":"10.1145\/2647908.2655980"},{"key":"479_CR49","doi-asserted-by":"crossref","unstructured":"Samih, H., Le Guen, H., Bogusch, R., Acher, M., Baudry, B.: An Approach to Derive Usage Models Variants for Model-based Testing. In: The 26th IFIP International Conference on Testing Software and Systems (2014). Springer, Madrid, Espagne (2014). http:\/\/hal.inria.fr\/hal-01025124","DOI":"10.1007\/978-3-662-44857-1_6"},{"key":"479_CR50","doi-asserted-by":"publisher","unstructured":"Sampath, S., Bryce, R.C., Viswanath, G., Kandimalla, V., Koru, a.G.: Prioritizing user-session-based test cases for web applications testing. In: 1st international conference on Software testing, verification, and validation, pp. 141\u2013150. IEEE (2008). doi: 10.1109\/ICST.2008.42 . http:\/\/ieeexplore.ieee.org\/lpdocs\/epic03\/wrapper.htm?arnumber=4539541","DOI":"10.1109\/ICST.2008.42"},{"key":"479_CR51","doi-asserted-by":"publisher","unstructured":"Schobbens, P.Y., Heymans, P., Trigaux, J.C., Bontemps, Y.: Generic semantics of feature diagrams. Comput. Netw. 51(2), 456\u2013479 (2007). doi: 10.1016\/j.comnet.2006.08.008 . http:\/\/www.sciencedirect.com\/science\/article\/pii\/S1389128606002179 . Feature Interaction","DOI":"10.1016\/j.comnet.2006.08.008"},{"key":"479_CR52","unstructured":"Scrapy: http:\/\/scrapy.org\/"},{"key":"479_CR53","doi-asserted-by":"publisher","unstructured":"Segura, S., S\u00e1nchez, A.B., Ruiz-Cort\u00e9s, A.: Automated variability analysis and testing of an e-commerce site.: an experience report. In: Proceedings of the 29th ACM\/IEEE International Conference on Automated Software Engineering, ASE \u201914, pp. 139\u2013150. ACM, New York (2014). doi: 10.1145\/2642937.2642939","DOI":"10.1145\/2642937.2642939"},{"issue":"6","key":"479_CR54","doi-asserted-by":"publisher","first-page":"439","DOI":"10.1002\/stvr.1496","volume":"23","author":"SE Sprenkle","year":"2013","unstructured":"Sprenkle, S.E., Pollock, L.L., Simko, L.M.: Configuring effective navigation models and abstract test cases for web applications by analysing user behaviour. Softw. Test. Verif. Reliab. 23(6), 439\u2013464 (2013). doi: 10.1002\/stvr.1496","journal-title":"Softw. Test. Verif. Reliab."},{"issue":"2","key":"479_CR55","doi-asserted-by":"crossref","first-page":"5","DOI":"10.1002\/stvr.4370010203","volume":"1","author":"P Th\u00e9venod-Fosse","year":"1991","unstructured":"Th\u00e9venod-Fosse, P., Waeselynck, H.: An investigation of statistical software testing. Softw. Test. Verif. Reliab. 1(2), 5\u201325 (1991)","journal-title":"Softw. Test. Verif. Reliab."},{"key":"479_CR56","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-540-78917-8_1","volume-title":"Formal Methods and Testing, Lecture Notes in Computer Science","author":"J Tretmans","year":"2008","unstructured":"Tretmans, J.: Model based testing with labelled transition systems. In: Hierons, R., Bowen, J., Harman, M. (eds.) Formal Methods and Testing, Lecture Notes in Computer Science, vol. 4949, pp. 1\u201338. Springer, Heidelberg (2008). doi: 10.1007\/978-3-540-78917-8_1"},{"key":"479_CR57","volume-title":"Practical Model-Based Testing: A Tools Approach","author":"M Utting","year":"2007","unstructured":"Utting, M., Legeard, B.: Practical Model-Based Testing: A Tools Approach. Morgan Kaufmann, Burlington (2007)"},{"key":"479_CR58","doi-asserted-by":"publisher","unstructured":"Utting, M., Pretschner, A., Legeard, B.: A taxonomy of model-based testing approaches (April 2011), 297\u2013312 (2012). doi: 10.1002\/stvr","DOI":"10.1002\/stvr"},{"key":"479_CR59","doi-asserted-by":"publisher","unstructured":"Verwer, S., Eyraud, R., De La Higuera, C.: PAutomaC: a probabilistic automata and hidden Markov models learning competition. Mach. Learn. pp. 1\u201326 (2013). doi: 10.1007\/s10994-013-5409-9 . https:\/\/hal.archives-ouvertes.fr\/hal-00873981","DOI":"10.1007\/s10994-013-5409-9"},{"issue":"2","key":"479_CR60","doi-asserted-by":"crossref","first-page":"260","DOI":"10.1109\/TIT.1967.1054010","volume":"13","author":"AJ Viterbi","year":"1967","unstructured":"Viterbi, A.J.: Error bounds for convolutional codes and an asymptotically optimum decoding algorithm. IEEE Trans. Inf. Theory 13(2), 260\u2013269 (1967)","journal-title":"IEEE Trans. Inf. Theory"},{"key":"479_CR61","unstructured":"Wei\u00dfleder, S., Sokenou, D., Schlingloff, B.: Reusing state machines for automatic test generation in product lines. In: 1st workshop on model-based testing in practice (MoTiP), p. 19. Citeseer, Berlin (2008). http:\/\/citeseerx.ist.psu.edu\/viewdoc\/download?doi=10.1.1.169.5699&rep=rep1&type=pdf#page=21"},{"issue":"10","key":"479_CR62","doi-asserted-by":"publisher","first-page":"812","DOI":"10.1109\/32.328991","volume":"20","author":"J Whittaker","year":"1994","unstructured":"Whittaker, J., Thomason Michael, G.: A Markov chain model for statistical software testing. IEEE Trans. Softw. Eng. 20(10), 812\u2013824 (1994). doi: 10.1109\/32.328991","journal-title":"IEEE Trans. Softw. Eng."}],"container-title":["Software & Systems Modeling"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-015-0479-8.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10270-015-0479-8\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-015-0479-8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-015-0479-8.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,8,28]],"date-time":"2019-08-28T16:30:12Z","timestamp":1567009812000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10270-015-0479-8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,7,24]]},"references-count":62,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2017,2]]}},"alternative-id":["479"],"URL":"https:\/\/doi.org\/10.1007\/s10270-015-0479-8","relation":{},"ISSN":["1619-1366","1619-1374"],"issn-type":[{"value":"1619-1366","type":"print"},{"value":"1619-1374","type":"electronic"}],"subject":[],"published":{"date-parts":[[2015,7,24]]}}}