{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,25]],"date-time":"2025-03-25T14:29:00Z","timestamp":1742912940753,"version":"3.40.3"},"publisher-location":"Cham","reference-count":16,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319395630"},{"type":"electronic","value":"9783319395647"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016]]},"DOI":"10.1007\/978-3-319-39564-7_12","type":"book-chapter","created":{"date-parts":[[2016,6,6]],"date-time":"2016-06-06T07:27:56Z","timestamp":1465198076000},"page":"116-121","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":3,"title":["A Visual Logical Language for System Modelling in Combinatorial Test Design"],"prefix":"10.1007","author":[{"given":"Maria","family":"Spichkova","sequence":"first","affiliation":[]},{"given":"Anna","family":"Zamansky","sequence":"additional","affiliation":[]},{"given":"Eitan","family":"Farchi","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2016,6,7]]},"reference":[{"issue":"1","key":"12_CR1","doi-asserted-by":"publisher","first-page":"7","DOI":"10.1023\/A:1005022012721","volume":"61","author":"M Baaz","year":"1998","unstructured":"Baaz, M., Ferm\u00fcller, C., Salzer, G., Zach, R.: Labeled calculi and finite-valued logics. Stud. Logica. 61(1), 7\u201333 (1998)","journal-title":"Stud. Logica."},{"issue":"4","key":"12_CR2","doi-asserted-by":"publisher","first-page":"401","DOI":"10.1007\/s10817-013-9273-x","volume":"51","author":"M Baaz","year":"2013","unstructured":"Baaz, M., Lahav, O., Zamansky, A.: Finite-valued semantics for canonical labelled calculi. J. Autom. Reasoning 51(4), 401\u2013430 (2013)","journal-title":"J. Autom. Reasoning"},{"issue":"4","key":"12_CR3","doi-asserted-by":"publisher","first-page":"20","DOI":"10.1109\/38.773961","volume":"19","author":"L MacDonald","year":"1999","unstructured":"MacDonald, L.: Using color effectively in computer graphics. IEEE Comput. Graph. Appl. 19(4), 20\u201335 (1999)","journal-title":"IEEE Comput. Graph. Appl."},{"unstructured":"Marcus, A.: Siggraph\u201993 tutorial notes: graphic design for user interfaces (1993)","key":"12_CR4"},{"issue":"6","key":"12_CR5","doi-asserted-by":"publisher","first-page":"756","DOI":"10.1109\/TSE.2009.67","volume":"35","author":"D Moody","year":"2009","unstructured":"Moody, D.: The \u201cphysics\u201d of notations: toward a scientific basis for constructing visual notations in software engineering. IEEE Trans. Softw. Eng. 35(6), 756\u2013779 (2009)","journal-title":"IEEE Trans. Softw. Eng."},{"issue":"2","key":"12_CR6","doi-asserted-by":"publisher","first-page":"11","DOI":"10.1145\/1883612.1883618","volume":"43","author":"C Nie","year":"2011","unstructured":"Nie, C., Leung, H.: A survey of combinatorial testing. ACM Comput. Surv. (CSUR) 43(2), 11 (2011)","journal-title":"ACM Comput. Surv. (CSUR)"},{"unstructured":"Pairwise Testing Website. http:\/\/www.pairwise.org\/tools.asp","key":"12_CR7"},{"key":"12_CR8","doi-asserted-by":"publisher","first-page":"55","DOI":"10.1007\/978-1-4684-3384-5_3","volume-title":"Logic and Data Bases","author":"R Reiter","year":"1978","unstructured":"Reiter, R.: On closed world data bases. In: Gallaire, H., Minker, J. (eds.) Logic and Data Bases, pp. 55\u201376. Springer, Heidelberg (1978)"},{"unstructured":"Reiter, R.: On integrity constraints. In: Proceedings of the 2nd Conference on Theoretical Aspects of Reasoning about Knowledge, pp. 97\u2013111. Morgan Kaufmann Publishers Inc. (1988)","key":"12_CR9"},{"doi-asserted-by":"crossref","unstructured":"Segall, I., Tzoref-Brill, R.: Interactive refinement of combinatorial test plans. In: 2012 34th International Conference on Software Engineering (ICSE), pp. 1371\u20131374 (2012)","key":"12_CR10","DOI":"10.1109\/ICSE.2012.6227245"},{"doi-asserted-by":"crossref","unstructured":"Spichkova, M., Zamansky, A.: A human-centred framework for combinatorial test design. In: Proceedings of ENASE (2016)","key":"12_CR11","DOI":"10.5220\/0005898202280233"},{"doi-asserted-by":"crossref","unstructured":"Spichkova, M., Zamansky, A., Farchi, E.: Towards a human-centred approach in modelling and testing of cyber-physical systems. In: Proceedings of the International Workshop on Automated Testing of Cyber-Physical Systems in the Cloud (2015)","key":"12_CR12","DOI":"10.1109\/ICPADS.2015.115"},{"key":"12_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"276","DOI":"10.1007\/978-3-319-24953-7_22","volume-title":"Automated Technology for Verification and Analysis","author":"R Tzoref-Brill","year":"2015","unstructured":"Tzoref-Brill, R., Maoz, S.: Lattice-based semantics for combinatorial model evolution. In: Finkbeiner, B., et al. (eds.) ATVA 2015. LNCS, vol. 9364, pp. 276\u2013292. Springer, Heidelberg (2015). doi:10.1007\/978-3-319-24953-7_22"},{"doi-asserted-by":"crossref","unstructured":"Wojciak, P., Tzoref-Brill, R.: System level combinatorial testing in practice-the concurrent maintenance case study. In: Proceedings of the 2014 IEEE International Conference on Software Testing, Verification, and Validation, pp. 103\u2013112. IEEE Computer Society (2014)","key":"12_CR14","DOI":"10.1109\/ICST.2014.23"},{"key":"12_CR15","doi-asserted-by":"crossref","first-page":"35","DOI":"10.1007\/978-3-662-49224-6_4","volume-title":"Software Engineering and Formal Methods","author":"Anna Zamansky","year":"2015","unstructured":"Zamansky, A., Farchi, E.: Helping the tester get it right: towards supporting agile combinatorial test design. In: 2nd Human-Oriented Formal Methods workshop (HOFM 2015) (2015)"},{"key":"12_CR16","series-title":"SpringerBriefs in Computer Science","first-page":"1","volume-title":"Automatic Generation of Combinatorial Test Data","author":"J Zhang","year":"2014","unstructured":"Zhang, J., Zhang, Z., Ma, F.: Introduction to combinatorial testing. In: Zhang, J., Zhang, Z., Ma, F. (eds.) Automatic Generation of Combinatorial Test Data. SpringerBriefs in Computer Science, pp. 1\u201316. Springer, Heidelberg (2014)"}],"container-title":["Lecture Notes in Business Information Processing","Advanced Information Systems Engineering Workshops"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-39564-7_12","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,6,7]],"date-time":"2021-06-07T00:06:30Z","timestamp":1623024390000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-39564-7_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319395630","9783319395647"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-39564-7_12","relation":{},"ISSN":["1865-1348","1865-1356"],"issn-type":[{"type":"print","value":"1865-1348"},{"type":"electronic","value":"1865-1356"}],"subject":[],"published":{"date-parts":[[2016]]},"assertion":[{"value":"7 June 2016","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"CAiSE","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Advanced Information Systems Engineering","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Ljubljana","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Slovenia","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2016","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"13 June 2016","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"14 June 2016","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"28","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"caise2016","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"This content has been made available to all.","name":"free","label":"Free to read"}]}}