{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T18:17:37Z","timestamp":1725733057269},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642387081"},{"type":"electronic","value":"9783642387098"}],"license":[{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-662-44857-1_6","type":"book-chapter","created":{"date-parts":[[2014,10,17]],"date-time":"2014-10-17T14:48:42Z","timestamp":1413557322000},"page":"80-96","source":"Crossref","is-referenced-by-count":3,"title":["An Approach to Derive Usage Models Variants for Model-Based Testing"],"prefix":"10.1007","author":[{"given":"Hamza","family":"Samih","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"H\u00e9l\u00e8ne","family":"Le Guen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ralf","family":"Bogusch","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mathieu","family":"Acher","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Benoit","family":"Baudry","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"6_CR1","doi-asserted-by":"crossref","unstructured":"Pohl, K., B\u00f6ckle, G., van der Linden, F.J.: Software Product Line Engineering: Foundations, Principles and Techniques. Springer-Verlag New York, Inc. (2005)","DOI":"10.1007\/3-540-28901-1"},{"key":"6_CR2","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)","DOI":"10.1145\/1806799.1806850"},{"key":"6_CR3","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)"},{"key":"6_CR4","doi-asserted-by":"crossref","unstructured":"Wei\u00dfleder, S., Lackner, H.: Top-down and bottom-up approach for model-based testing of product lines. In: MBT (2013)","DOI":"10.4204\/EPTCS.111.7"},{"key":"6_CR5","doi-asserted-by":"crossref","unstructured":"Th\u00fcm, T., Apel, S., K\u00e4stner, C., Schaefer, I., Saake, G.: A classification and survey of analysis strategies for software product lines. ACM Computing Surveys (2014)","DOI":"10.1145\/2580950"},{"key":"6_CR6","unstructured":"Utting, M., Legeard, B.: Practical Model-based Testing. Morgan-Kaufmann (2007)"},{"key":"6_CR7","unstructured":"Le Guen, H., Thelin, T.: Practical experiences with statistical usage testing. In: Software Technology and Engineering Practice (2003)"},{"key":"6_CR8","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)"},{"key":"6_CR9","doi-asserted-by":"crossref","unstructured":"Oster, S., Wubbeke, A., Engels, G., Sch\u00fcrr, A.: A survey of model-based software product lines testing. In: MBT for embedded systems (2011)","DOI":"10.1201\/b11321-14"},{"key":"6_CR10","doi-asserted-by":"crossref","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: ICECCS 2014, Tianjin, Chine. IEEE (2014)","DOI":"10.1109\/ICECCS.2014.19"},{"key":"6_CR11","doi-asserted-by":"crossref","unstructured":"Metzger, A., Pohl, K., Heymans, P., Schobbens, P.Y., Saval, G.: Disambiguating the documentation of variability in software product lines: A separation of concerns, formalization and automated analysis. In: RE 2007, pp. 243\u2013253 (2007)","DOI":"10.1109\/RE.2007.61"},{"key":"6_CR12","doi-asserted-by":"crossref","unstructured":"Zander-Nowicka, J.: Model-Based Testing of Real-Time Embedded Systems in the Automotive Domain. Fraunhofer-IRB-Verlag (2009)","DOI":"10.4018\/978-1-60566-750-8.ch015"},{"key":"6_CR13","unstructured":"Le Guen, H., Marie, R., Thelin, T.: Reliability estimation for statistical usage testing using markov chains. In: ISSRE (2004)"},{"key":"6_CR14","doi-asserted-by":"publisher","first-page":"297","DOI":"10.1002\/stvr.456","volume":"22","author":"M. Utting","year":"2012","unstructured":"Utting, M., Pretschner, A., Legeard, B.: A taxonomy of model-based testing approaches. Softw. Test., Verif. Reliab.\u00a022, 297\u2013312 (2012)","journal-title":"Softw. Test., Verif. Reliab."},{"key":"6_CR15","unstructured":"\u00c7inlar, E.: Introduction to stochastic processes. [nachdr.] edn. Prentice-Hall, Englewood Cliffs (1975)"},{"key":"6_CR16","unstructured":"Samih, H., Bogusch, R.: MPLM \u2013 MaTeLo Product Line Manager. In: SPLC 2014 Demonstrations and Tools track (to appear, 2014)"},{"key":"6_CR17","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 (2014)","DOI":"10.1145\/2556624.2556635"},{"key":"6_CR18","doi-asserted-by":"crossref","unstructured":"Gotlieb, A., Hervieu, A., Baudry, B.: Minimum pairwise coverage using constraint programming techniques. In: ICST 2012, pp. 773\u2013774 (2012)","DOI":"10.1109\/ICST.2012.174"},{"key":"6_CR19","doi-asserted-by":"crossref","unstructured":"Johansen, M.F., Haugen, O.Y., Fleurey, F.: An algorithm for generating t-wise covering arrays from large feature models. In: SPLC 2012, vol.\u00a046 (2012)","DOI":"10.1145\/2362536.2362547"},{"key":"6_CR20","doi-asserted-by":"crossref","unstructured":"Perrouin, G., Sen, S., Klein, J., Baudry, B., Traon, Y.: l.: Automated and scalable t-wise test case generation strategies for software product lines. In: ICST 2010. IEEE (2010)","DOI":"10.1109\/ICST.2010.43"}],"container-title":["Lecture Notes in Computer Science","Advanced Information Systems Engineering"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-662-44857-1_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,27]],"date-time":"2019-05-27T18:19:42Z","timestamp":1558981182000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-662-44857-1_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783642387081","9783642387098"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-3-662-44857-1_6","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2014]]}}}