{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,8]],"date-time":"2024-09-08T14:26:27Z","timestamp":1725805587721},"publisher-location":"Berlin, Heidelberg","reference-count":31,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783662452332"},{"type":"electronic","value":"9783662452349"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-662-45234-9_24","type":"book-chapter","created":{"date-parts":[[2014,9,26]],"date-time":"2014-09-26T01:28:35Z","timestamp":1411694915000},"page":"336-350","source":"Crossref","is-referenced-by-count":15,"title":["Coverage Criteria for Behavioural Testing of Software Product Lines"],"prefix":"10.1007","author":[{"given":"Xavier","family":"Devroey","sequence":"first","affiliation":[]},{"given":"Gilles","family":"Perrouin","sequence":"additional","affiliation":[]},{"given":"Axel","family":"Legay","sequence":"additional","affiliation":[]},{"given":"Maxime","family":"Cordy","sequence":"additional","affiliation":[]},{"given":"Pierre-Yves","family":"Schobbens","sequence":"additional","affiliation":[]},{"given":"Patrick","family":"Heymans","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"unstructured":"ALL4TEC: MaTeLo, http:\/\/www.all4tec.net\/index.php\/en\/model-based-testing (last visit January 31, 2014)","key":"24_CR1"},{"doi-asserted-by":"crossref","unstructured":"Astesana, J.M., Cosserat, L., Fargier, H.: Constraint-based vehicle configuration: A case study. In: 2010 22nd IEEE International Conference on Tools with Artificial Intelligence (ICTAI), vol.\u00a01, pp. 68\u201375 (October 2010)","key":"24_CR2","DOI":"10.1109\/ICTAI.2010.19"},{"doi-asserted-by":"crossref","unstructured":"Beohar, H., Mousavi, M.R.: Spinal Test Suites for Software Product Lines. ArXiv e-prints (2014)","key":"24_CR3","DOI":"10.4204\/EPTCS.141.4"},{"key":"24_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"425","DOI":"10.1007\/978-3-642-24485-8_31","volume-title":"Model Driven Engineering Languages and Systems","author":"H. Cichos","year":"2011","unstructured":"Cichos, H., Oster, S., Lochau, M., Sch\u00fcrr, A.: Model-based Coverage-driven Test Suite Generation for Software Product Lines. In: Whittle, J., Clark, T., K\u00fchne, T. (eds.) MODELS 2011. LNCS, vol.\u00a06981, pp. 425\u2013439. Springer, Heidelberg (2011)"},{"unstructured":"Classen, A.: Modelling and Model Checking Variability-Intensive Systems. Ph.D. thesis, PReCISE Research Center, Faculty of Computer Science, University of Namur, FUNDP (2011)","key":"24_CR5"},{"doi-asserted-by":"crossref","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. TSE PP(99), 1\u201322 (2013)","key":"24_CR6","DOI":"10.1109\/TSE.2012.86"},{"doi-asserted-by":"crossref","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: ICSE 2010, pp. 335\u2013344. ACM (2010)","key":"24_CR7","DOI":"10.1145\/1806799.1806850"},{"unstructured":"Clements, P., Northrop, L.: Software Product Lines: Practices and Patterns. Addison Wesley, Reading (2001)","key":"24_CR8"},{"doi-asserted-by":"crossref","unstructured":"Cohen, M., Dwyer, M., Shi, J.: Interaction testing of highly-configurable systems in the presence of constraints. In: ISSTA 2007, pp. 129\u2013139 (2007)","key":"24_CR9","DOI":"10.1145\/1273463.1273482"},{"doi-asserted-by":"crossref","unstructured":"Cordy, M., Classen, A., Heymans, P., Schobbens, P.Y., Legay, A.: Provelines: A product-line of verifiers for software product lines. In: SPLC 2013 Workshops, pp. 141\u2013146. ACM (2013)","key":"24_CR10","DOI":"10.1145\/2499777.2499781"},{"key":"24_CR11","series-title":"Lecture Notes in Computer Science","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","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.) ISoLA 2012, Part I. LNCS, vol.\u00a07609, pp. 208\u2013222. Springer, Heidelberg (2012)"},{"doi-asserted-by":"crossref","unstructured":"Devroey, X., Perrouin, G., Cordy, M., Schobbens, P.Y., Legay, A., Heymans, P.: Towards statistical prioritization for software product lines testing. In: VaMoS 2014, pp. 10:1\u201310:7. ACM (2013)","key":"24_CR12","DOI":"10.1145\/2556624.2556635"},{"doi-asserted-by":"crossref","unstructured":"Fantechi, A., Gnesi, S.: Formal modeling for product families engineering. In: SPLC 2008, pp. 193\u2013202 (2008)","key":"24_CR13","DOI":"10.1109\/SPLC.2008.45"},{"doi-asserted-by":"crossref","unstructured":"Flores, R., Krueger, C., Clements, P.: Mega-scale product line engineering at general motors. In: SPLC 2012, pp. 259\u2013268. ACM (2012)","key":"24_CR14","DOI":"10.1145\/2362536.2362571"},{"key":"24_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"113","DOI":"10.1007\/978-3-540-68863-1_8","volume-title":"Formal Methods for Open Object-Based Distributed Systems","author":"A. Gruler","year":"2008","unstructured":"Gruler, A., Leucker, M., Scheidemann, K.: Modeling and model checking software product lines. In: Barthe, G., de Boer, F.S. (eds.) FMOODS 2008. LNCS, vol.\u00a05051, pp. 113\u2013131. Springer, Heidelberg (2008)"},{"doi-asserted-by":"crossref","unstructured":"Henard, C., Papadakis, M., Perrouin, G., Klein, J., Traon, Y.L.: Multi-objective test generation for software product lines. In: SPLC 2013, pp. 62\u201371. ACM (2013)","key":"24_CR16","DOI":"10.1145\/2491627.2491635"},{"key":"24_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"269","DOI":"10.1007\/978-3-642-33666-9_18","volume-title":"Model Driven Engineering Languages and Systems","author":"M.F. Johansen","year":"2012","unstructured":"Johansen, M.F., Haugen, \u00d8., Fleurey, F., Eldegard, A.G., Syversen, T.: Generating better partial covering arrays by modeling weights on sub-product lines. In: France, R.B., Kazmeier, J., Breu, R., Atkinson, C. (eds.) MODELS 2012. LNCS, vol.\u00a07590, pp. 269\u2013284. Springer, Heidelberg (2012)"},{"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., Soft. Eng. Inst., Carnegie Mellon Univ. (1990)","key":"24_CR18","DOI":"10.21236\/ADA235785"},{"doi-asserted-by":"crossref","unstructured":"K\u00e4stner, C., von Rhein, A., Erdweg, S., Pusch, J., Apel, S., Rendel, T., Ostermann, K.: Toward variability-aware testing. In: FOSD 2012, pp. 1\u20138. ACM (2012)","key":"24_CR19","DOI":"10.1145\/2377816.2377817"},{"doi-asserted-by":"crossref","unstructured":"Kim, C.H.P., Khurshid, S., Batory, D.S.: Shared execution for efficiently testing product lines. In: ISSRE 2012, pp. 221\u2013230 (2012)","key":"24_CR20","DOI":"10.1109\/ISSRE.2012.23"},{"key":"24_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"67","DOI":"10.1007\/978-3-642-30473-6_7","volume-title":"Tests and Proofs","author":"M. Lochau","year":"2012","unstructured":"Lochau, M., Schaefer, I., Kamischke, J., Lity, S.: Incremental model-based testing of delta-oriented software product lines. In: Brucker, A.D., Julliand, J. (eds.) TAP 2012. LNCS, vol.\u00a07305, pp. 67\u201382. Springer, Heidelberg (2012)"},{"unstructured":"Mathur, A.P.: Foundations of software testing. Pearson Education (2008)","key":"24_CR22"},{"doi-asserted-by":"crossref","unstructured":"Nguyen, H.V., K\u00e4stner, C., Nguyen, T.N.: Exploring variability-aware execution for testing plugin-based web applications. In: ICSE 2014. IEEE (2014)","key":"24_CR23","DOI":"10.1145\/2568225.2568300"},{"key":"24_CR24","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"196","DOI":"10.1007\/978-3-642-15579-6_14","volume-title":"Software Product Lines: Going Beyond","author":"S. Oster","year":"2010","unstructured":"Oster, S., Markert, F., Ritter, P.: Automated incremental pairwise testing of software product lines. In: Bosch, J., Lee, J. (eds.) SPLC 2010. LNCS, vol.\u00a06287, pp. 196\u2013210. Springer, Heidelberg (2010)"},{"issue":"3-4","key":"24_CR25","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., Traon, Y.L.: Pairwise testing for software product lines: comparison of two approaches. Software Quality Journal\u00a020(3-4), 605\u2013643 (2012)","journal-title":"Software Quality Journal"},{"doi-asserted-by":"crossref","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: VaMoS 2013, p. 14. ACM (2013)","key":"24_CR26","DOI":"10.1145\/2430502.2430522"},{"unstructured":"Samih, H.: Relating Variability Modeling and Model-Based Testing for Software Product Lines Testing. In: Weise, C., Nielsen, B. (eds.) Proceedings of the ICTSS 2012 Ph.D. Workshop, pp. 18\u201322. Aalborg University, Department of Computer Science, Aalborg, Denmark (2012)","key":"24_CR27"},{"key":"24_CR28","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-540-78917-8_1","volume-title":"Formal Methods and Testing","author":"J. Tretmans","year":"2008","unstructured":"Tretmans, J.: Model based testing with labelled transition systems. In: Hierons, R.M., Bowen, J.P., Harman, M. (eds.) FORTEST. LNCS, vol.\u00a04949, pp. 1\u201338. Springer, Heidelberg (2008)"},{"unstructured":"Utting, M., Legeard, B.: Practical Model-Based Testing: A Tools Approach. Morgan Kaufmann (2007)","key":"24_CR29"},{"issue":"3","key":"24_CR30","doi-asserted-by":"publisher","first-page":"309","DOI":"10.1109\/TSE.2010.30","volume":"36","author":"E. Uzuncaova","year":"2010","unstructured":"Uzuncaova, E., Khurshid, S., Batory, D.: Incremental test generation for software product lines. IEEE Transactions on Software Engineering\u00a036(3), 309\u2013322 (2010)","journal-title":"IEEE Transactions on Software Engineering"},{"issue":"10","key":"24_CR31","doi-asserted-by":"publisher","first-page":"812","DOI":"10.1109\/32.328991","volume":"20","author":"J.A. Whittaker","year":"1994","unstructured":"Whittaker, J.A., Thomason, M.G.: A markov chain model for statistical software testing. TSE\u00a020(10), 812\u2013824 (1994)","journal-title":"TSE"}],"container-title":["Lecture Notes in Computer Science","Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-662-45234-9_24","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,4,17]],"date-time":"2022-04-17T22:08:21Z","timestamp":1650233301000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-662-45234-9_24"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783662452332","9783662452349"],"references-count":31,"URL":"https:\/\/doi.org\/10.1007\/978-3-662-45234-9_24","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2014]]}}}