{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,8]],"date-time":"2024-09-08T21:37:57Z","timestamp":1725831477980},"publisher-location":"Cham","reference-count":17,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319249117"},{"type":"electronic","value":"9783319249124"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015]]},"DOI":"10.1007\/978-3-319-24912-4_17","type":"book-chapter","created":{"date-parts":[[2015,10,6]],"date-time":"2015-10-06T14:07:30Z","timestamp":1444140450000},"page":"238-251","source":"Crossref","is-referenced-by-count":0,"title":["Model-Based Product Line Testing: Sampling Configurations for Optimal Fault Detection"],"prefix":"10.1007","author":[{"given":"Hartmut","family":"Lackner","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2015,11,28]]},"reference":[{"key":"17_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"7","DOI":"10.1007\/11554844_3","volume-title":"Software Product Lines","author":"D Batory","year":"2005","unstructured":"Batory, D.: Feature models, grammars, and propositional formulas. In: Obbink, H., Pohl, K. (eds.) SPLC 2005. LNCS, vol. 3714, pp. 7\u201320. Springer, Heidelberg (2005)"},{"key":"17_CR2","doi-asserted-by":"crossref","unstructured":"Beohar, H., Mousavi, M.R.: Spinal test suites for software product lines France. In: Proceedings Ninth Workshop on Model-based Testing, MBT 2014, EPTCS, vol. 141, pp. 44\u201355 (2014)","DOI":"10.4204\/EPTCS.141.4"},{"key":"17_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"422","DOI":"10.1007\/11561347_28","volume-title":"Generative Programming and Component Engineering","author":"K Czarnecki","year":"2005","unstructured":"Czarnecki, K., Antkiewicz, M.: Mapping features to models: a template approach based on superimposed variants. In: Gl\u00fcck, R., Lowry, M. (eds.) GPCE 2005. LNCS, vol. 3676, pp. 422\u2013437. Springer, Heidelberg (2005)"},{"key":"17_CR4","unstructured":"DeMillo, R.A.: Mutation analysis as a tool for software quality assurance (1980)"},{"key":"17_CR5","unstructured":"Gr\u00f6nniger, H., Krahn, H., Pinkernell, C., Rumpe, B.: Modeling variants of automotive systems using views. In: Tagungsband zur Modellierung 2008, Berlin-Adlershof, Deutschland, M\"arz 2008, pp. 12\u201314. LNI, Gesellschaft f\u00fcr Informatik, Bonn (2008)"},{"key":"17_CR6","doi-asserted-by":"crossref","unstructured":"Henard, C., Papadakis, M., Perrouin, G., Klein, J., Le Traon, Y.: Assessing software product line testing via model-based mutation: an application to similarity testing. In: ICSTW 2013: IEEE 6th International Conference On Software Testing, Verification and Validation Workshops 2013, pp. 188\u2013197 (2013)","DOI":"10.1109\/ICSTW.2013.30"},{"key":"17_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"39","DOI":"10.1007\/978-3-642-34691-0_5","volume-title":"Testing Software and Systems","author":"MF Johansen","year":"2012","unstructured":"Johansen, M.F., Haugen, \u00d8., Fleurey, F., Carlson, E., Endresen, J., Wien, T.: A technique for agile and automatic interaction testing for product lines. In: Nielsen, B., Weise, C. (eds.) ICTSS 2012. LNCS, vol. 7641, pp. 39\u201354. Springer, Heidelberg (2012)"},{"key":"17_CR8","doi-asserted-by":"crossref","unstructured":"Kang, K.C., Cohen, S.G., Hess, J.A., Novak, W.E., Peterson, A.S.: Feature-oriented Domain Analysis (FODA) Feasibility Study (1990)","DOI":"10.21236\/ADA235785"},{"key":"17_CR9","unstructured":"Kuchcinski, K., Szymanek, R.: JaCoP - Java Constraint Programming Solver (2013)"},{"key":"17_CR10","doi-asserted-by":"crossref","unstructured":"Lackner, H., Schmidt, M.: Towards the assessment of software product line tests. In: The 18th International Software Product Line Conference, pp. 62\u201369 (2014)","DOI":"10.1145\/2647908.2655968"},{"key":"17_CR11","doi-asserted-by":"crossref","unstructured":"Lackner, H., Thomas, M., Wartenberg, F., Wei\u00dfleder, S.: Model-based test design of product lines: raising test design to the product line level. In: ICST 2014: International Conference on Software Testing, Verification, and Validation, pp. 51\u201360 (2014)","DOI":"10.1109\/ICST.2014.16"},{"key":"17_CR12","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. 7305, pp. 67\u201382. Springer, Heidelberg (2012)"},{"key":"17_CR13","doi-asserted-by":"crossref","unstructured":"Oster, S., Zorcic, I., Markert, F., Lochau, M.: MoSo-PoLiTe: tool support for pairwise and model-based software product line testing. In: VaMoS 2011, pp. 79\u201382 (2011)","DOI":"10.1145\/1944892.1944901"},{"key":"17_CR14","doi-asserted-by":"crossref","unstructured":"Perrouin, G., Sen, S., Klein, J., Baudry, B., Le Traon, Y.: Automated and scalable t-wise test case generation strategies for software product lines. In: ICST 2010: International Conference on Software Testing, Verification and Validation, pp. 459\u2013468. IEEE Computer Society, IEEE, Los Alamitos, Calif, Piscataway, NJ (2010)","DOI":"10.1109\/ICST.2010.43"},{"key":"17_CR15","doi-asserted-by":"publisher","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.J.: Software Product Line Engineering: Foundations, Principles and Techniques. Springer, New York (2005)"},{"key":"17_CR16","doi-asserted-by":"crossref","unstructured":"Steffens, M., Oster, S., Lochau, M., Fogdal, T.: Industrial evaluation of pairwise SPL testing with MoSo-PoLiTe. In: The Sixth International Workshop, pp. 55\u201362 (2012)","DOI":"10.1145\/2110147.2110154"},{"key":"17_CR17","doi-asserted-by":"crossref","unstructured":"Wei\u00dfleder, S.: Simulated Satisfaction of coverage criteria on UML state machines. In: ICST 2010: International Conference on Software Testing, Verification and Validation. IEEE Computer Society, IEEE, Los Alamitos, Calif, Piscataway, NJ (2010)","DOI":"10.1109\/ICST.2010.28"}],"container-title":["Lecture Notes in Computer Science","SDL 2015: Model-Driven Engineering for Smart Cities"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-24912-4_17","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,30]],"date-time":"2019-05-30T23:48:03Z","timestamp":1559260083000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-24912-4_17"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319249117","9783319249124"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-24912-4_17","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2015]]}}}