{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:28:48Z","timestamp":1750220928739,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":26,"publisher":"ACM","license":[{"start":{"date-parts":[[2019,1,29]],"date-time":"2019-01-29T00:00:00Z","timestamp":1548720000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2019,1,29]]},"DOI":"10.1145\/3290688.3290700","type":"proceedings-article","created":{"date-parts":[[2019,1,14]],"date-time":"2019-01-14T13:15:25Z","timestamp":1547471725000},"page":"1-4","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["A Set-based Logical Language for Specification of Combinatorial Models"],"prefix":"10.1145","author":[{"given":"Anna","family":"Zamansky","sequence":"first","affiliation":[{"name":"University of Haifa"}]},{"given":"Maria","family":"Spichkova","sequence":"additional","affiliation":[{"name":"RMIT University"}]}],"member":"320","published-online":{"date-parts":[[2019,1,29]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1005022012721"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10817-013-9273-x"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1109\/32.605761"},{"key":"e_1_3_2_1_4_1","volume-title":"Pairwise testing in the real world: Practical extensions to test-case scenarios","author":"Czerwonka J.","year":"2008","unstructured":"J. Czerwonka . Pairwise testing in the real world: Practical extensions to test-case scenarios . Microsoft Corporation , Software Testing Technical Articles, 2008 . J. Czerwonka. Pairwise testing in the real world: Practical extensions to test-case scenarios. Microsoft Corporation, Software Testing Technical Articles, 2008."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.5555\/1405567.1405569"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1109\/38.773961"},{"key":"e_1_3_2_1_7_1","volume-title":"Introduction to Many-Sorted Logic","author":"Manzano M.","year":"1993","unstructured":"M. Manzano . Introduction to Many-Sorted Logic . John Wiley and Sons . Chichester.(UK), Tucker and Meinke edition, 1993 . M. Manzano. Introduction to Many-Sorted Logic. John Wiley and Sons. Chichester.(UK), Tucker and Meinke edition, 1993."},{"key":"e_1_3_2_1_8_1","volume-title":"Siggraph'93 tutorial notes: Graphic design for user interfaces","author":"Marcus A.","year":"1993","unstructured":"A. Marcus . Siggraph'93 tutorial notes: Graphic design for user interfaces , 1993 . A. Marcus. Siggraph'93 tutorial notes: Graphic design for user interfaces, 1993."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.5555\/165446"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/1883612.1883618"},{"key":"e_1_3_2_1_11_1","unstructured":"Pairwise Testing Website. http:\/\/www.pairwise.org\/tools.asp.  Pairwise Testing Website. http:\/\/www.pairwise.org\/tools.asp."},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4684-3384-5_3"},{"key":"e_1_3_2_1_13_1","first-page":"97","volume-title":"Theoretical Aspects of Reasoning about Knowledge","author":"Reiter R.","year":"1988","unstructured":"R. Reiter . On integrity constraints . In Theoretical Aspects of Reasoning about Knowledge , pages 97 -- 111 . Morgan Kaufmann Publishers Inc ., 1988 . R. Reiter. On integrity constraints. In Theoretical Aspects of Reasoning about Knowledge, pages 97--111. Morgan Kaufmann Publishers Inc., 1988."},{"key":"e_1_3_2_1_14_1","first-page":"1371","volume-title":"International Conference on Software Engineering","author":"Segall I.","year":"2012","unstructured":"I. Segall and R. Tzoref-Brill . Interactive refinement of combinatorial test plans . In International Conference on Software Engineering , pages 1371 -- 1374 , 2012 . I. Segall and R. Tzoref-Brill. Interactive refinement of combinatorial test plans. In International Conference on Software Engineering, pages 1371--1374, 2012."},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.4018\/978-1-4666-4623-0.ch015"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.5220\/0005898202280233"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-39564-7_12"},{"key":"e_1_3_2_1_18_1","series-title":"Series on Communications in Computer and Information Science","first-page":"111","volume-title":"ENASE","author":"Spichkova M.","year":"2017","unstructured":"M. Spichkova and A. Zamansky . AHR: Human-Centred Aspects of Test Design . In ENASE . Series on Communications in Computer and Information Science , pages 111 -- 128 , 2017 . M. Spichkova and A. Zamansky. AHR: Human-Centred Aspects of Test Design. In ENASE. Series on Communications in Computer and Information Science, pages 111--128, 2017."},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICPADS.2015.115"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-24953-7_22"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICST.2014.23"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-49224-6_4"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.5220\/0005937403960402"},{"key":"e_1_3_2_1_24_1","first-page":"305","volume-title":"Evaluation of Novel Approaches to Software Engineering","author":"Zamansky A.","year":"2018","unstructured":"A. Zamansky , M. Spichkova , G. Rodriguez-Navas , P. Herrmann and J. Blech . Towards Classification of Lightweight Formal Methods . In Evaluation of Novel Approaches to Software Engineering , pages 305 -- 313 , 2018 . A. Zamansky, M. Spichkova, G. Rodriguez-Navas, P. Herrmann and J. Blech. Towards Classification of Lightweight Formal Methods. In Evaluation of Novel Approaches to Software Engineering, pages 305--313, 2018."},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-43429-1_1"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSTW.2013.37"}],"event":{"name":"ACSW 2019: Australasian Computer Science Week 2019","sponsor":["CORE - Computing Research and Education","Macquarie University-Sydney"],"location":"Sydney NSW Australia","acronym":"ACSW 2019"},"container-title":["Proceedings of the Australasian Computer Science Week Multiconference"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3290688.3290700","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3290688.3290700","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T23:53:17Z","timestamp":1750204397000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3290688.3290700"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,1,29]]},"references-count":26,"alternative-id":["10.1145\/3290688.3290700","10.1145\/3290688"],"URL":"https:\/\/doi.org\/10.1145\/3290688.3290700","relation":{},"subject":[],"published":{"date-parts":[[2019,1,29]]},"assertion":[{"value":"2019-01-29","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}