{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,15]],"date-time":"2024-09-15T14:09:15Z","timestamp":1726409355356},"publisher-location":"Cham","reference-count":32,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319563893"},{"type":"electronic","value":"9783319563909"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"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":[[2016]]},"DOI":"10.1007\/978-3-319-56390-9_6","type":"book-chapter","created":{"date-parts":[[2017,4,6]],"date-time":"2017-04-06T01:23:59Z","timestamp":1491441839000},"page":"111-128","source":"Crossref","is-referenced-by-count":0,"title":["AHR: Human-Centred Aspects of Test Design"],"prefix":"10.1007","author":[{"given":"Maria","family":"Spichkova","sequence":"first","affiliation":[]},{"given":"Anna","family":"Zamansky","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2017,4,7]]},"reference":[{"key":"6_CR1","unstructured":"Blech, J.O., Spichkova, M., Peake, I., Schmidt, H.: Cyber-virtual systems: simulation, validation & visualization. In: Proceedings of the 9th International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE 2014) (2014)"},{"key":"6_CR2","series-title":"The JANUS Approach","doi-asserted-by":"crossref","first-page":"47","DOI":"10.1007\/1-4020-3532-2_2","volume-title":"Engineering Theories of Software Intensive Systems","author":"M Broy","year":"2005","unstructured":"Broy, M.: Service-oriented systems engineering: specification and design of services and layered architectures. In: Broy, M., Gr\u00fcnbauer, J., Harel, D., Hoare, T. (eds.) Engineering Theories of Software Intensive Systems. The JANUS Approach, vol. 195, pp. 47\u201381. Springer, Dordrecht (2005)"},{"key":"6_CR3","doi-asserted-by":"crossref","unstructured":"Dalal, S.R., Jain, A., Karunanithi, N., Leaton, J., Lott, C.M., Patton, G.C., Horowitz, B.M.: Model-based testing in practice. In: Proceedings of the 21st International Conference on Software Engineering, pp. 285\u2013294. ACM (1999)","DOI":"10.1145\/302405.302640"},{"key":"6_CR4","doi-asserted-by":"crossref","unstructured":"Farchi, E., Segall, I., Tzoref-Brill, R.: Using projections to debug large combinatorial models. In: Proceedings of the International Conference on Software Testing, Verification and Validation Workshops (ICSTW), pp. 311\u2013320. IEEE (2013)","DOI":"10.1109\/ICSTW.2013.42"},{"key":"6_CR5","doi-asserted-by":"crossref","unstructured":"Farchi, E., Segall, I., Tzoref-Brill, R., Zlotnick, A.: Combinatorial testing with order requirements. In: Proceedings of the International Conference on Software Testing, Verification and Validation Workshops (ICSTW), pp. 118\u2013127. IEEE (2014)","DOI":"10.1109\/ICSTW.2014.13"},{"issue":"5","key":"6_CR6","doi-asserted-by":"crossref","first-page":"616","DOI":"10.1109\/TSE.2011.78","volume":"37","author":"X Feng","year":"2011","unstructured":"Feng, X., Parnas, D.L., Tse, T., O\u2019Callaghan, T.: A comparison of tabular expression-based testing strategies. IEEE Trans. Softw. Eng. 37(5), 616\u2013634 (2011)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"6_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/11940197_1","volume-title":"Formal Approaches to Software Testing and Runtime Verification","author":"W Grieskamp","year":"2006","unstructured":"Grieskamp, W.: Multi-paradigmatic model-based testing. In: Havelund, K., N\u00fa\u00f1ez, M., Ro\u015fu, G., Wolff, B. (eds.) Formal Approaches to Software Testing and Runtime Verification. LNCS, vol. 4262, pp. 1\u201319. Springer, Heidelberg (2006). doi: 10.1007\/11940197_1"},{"key":"6_CR8","doi-asserted-by":"crossref","unstructured":"Hellmann, T.D., Sharma, A., Ferreira, J., Maurer, F.: Agile testing: past, present, and future-charting a systematic map of testing in agile software development. In: Proceedings of the Agile Conference (AGILE), pp. 55\u201363. IEEE (2012)","DOI":"10.1109\/Agile.2012.8"},{"issue":"11","key":"6_CR9","doi-asserted-by":"crossref","first-page":"980","DOI":"10.1016\/j.scico.2009.12.009","volume":"75","author":"Y Jin","year":"2010","unstructured":"Jin, Y., Parnas, D.L.: Defining the meaning of tabular mathematical expressions. Sci. Comput. Program. 75(11), 980\u20131000 (2010)","journal-title":"Sci. Comput. Program."},{"issue":"6","key":"6_CR10","doi-asserted-by":"crossref","first-page":"418","DOI":"10.1109\/TSE.2004.24","volume":"30","author":"DR Kuhn","year":"2004","unstructured":"Kuhn, D.R., Wallace, D.R., Gallo, A.M.: Software fault interactions and implications for software testing. IEEE Trans. Softw. Eng. 30(6), 418\u2013421 (2004)","journal-title":"IEEE Trans. Softw. Eng."},{"issue":"8","key":"6_CR11","first-page":"94","volume":"42","author":"R Kuhn","year":"2011","unstructured":"Kuhn, R., Kacker, R., Lei, Y., Hunter, J.: Combinatorial software testing. IEEE Comput. 42(8), 94\u201396 (2011)","journal-title":"IEEE Comput."},{"issue":"2","key":"6_CR12","first-page":"11:1","volume":"43","author":"C Nie","year":"2011","unstructured":"Nie, C., Leung, H.: A survey of combinatorial testing. ACM Comput. Surv. 43(2), 11:1\u201311:29 (2011)","journal-title":"ACM Comput. Surv."},{"key":"6_CR13","unstructured":"Pane, J., Myers, B.: Usability issues in the design of novice programming systems. School of Computer Science Technical report CMU-CS-96-132 (1996)"},{"key":"6_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"537","DOI":"10.1007\/11526841_37","volume-title":"FM 2005: Formal Methods","author":"A Pretschner","year":"2005","unstructured":"Pretschner, A.: Model-based testing in practice. In: Fitzgerald, J., Hayes, I.J., Tarlecki, A. (eds.) FM 2005. LNCS, vol. 3582, pp. 537\u2013541. Springer, Heidelberg (2005). doi: 10.1007\/11526841_37"},{"key":"6_CR15","unstructured":"Sapienza, G., Crnkovic, I., Seceleanu, T.: Towards a methodology for hardware and software design separation in embedded systems. In: Proceedings of the ICSEA, pp. 557\u2013562. IARIA (2012)"},{"key":"6_CR16","doi-asserted-by":"crossref","unstructured":"Segall, I., Tzoref-Brill, R.: Interactive refinement of combinatorial test plans. In: Proceedings of the 34th International Conference on Software Engineering, pp. 1371\u20131374. IEEE Press (2012)","DOI":"10.1109\/ICSE.2012.6227245"},{"key":"6_CR17","doi-asserted-by":"crossref","unstructured":"Segall, I., Tzoref-Brill, R., Zlotnick, A.: Common patterns in combinatorial models. In: Proceedings of the International Conference on Software Testing, Verification and Validation (ICST), pp. 624\u2013629. IEEE (2012)","DOI":"10.1109\/ICST.2012.150"},{"key":"6_CR18","doi-asserted-by":"crossref","first-page":"131","DOI":"10.1016\/j.entcs.2008.06.007","volume":"214","author":"M Spichkova","year":"2008","unstructured":"Spichkova, M.: Refinement-based verification of interactive real-time systems. Electron. Notes Theor. Comput. Sci. 214, 131\u2013157 (2008)","journal-title":"Electron. Notes Theor. Comput. Sci."},{"key":"6_CR19","first-page":"4","volume":"31","author":"M Spichkova","year":"2011","unstructured":"Spichkova, M.: Architecture: Requirements + Decomposition + Refinement. Softwaretechnik-Trends 31, 4 (2011)","journal-title":"Softwaretechnik-Trends"},{"key":"6_CR20","unstructured":"Spichkova, M., Campetelli, A.: Towards system development methodologies: from software to cyber-physical domain. In: Proceedings of the International Workshop on Formal Techniques for Safety-Critical Systems (2012)"},{"key":"6_CR21","unstructured":"Spichkova, M., Zhu, X., Mou, D.: Do we really need to write documentation for a system? In: Proceedings of the International Conference on Model-Driven Engineering and Software Development (MODELSWARD 2013) (2013)"},{"key":"6_CR22","doi-asserted-by":"crossref","unstructured":"Spichkova, M.: Design of formal languages and interfaces: formal does not mean unreadable. In: Emerging Research and Trends in Interactivity and the Human-Computer Interface. IGI Global (2013)","DOI":"10.4018\/978-1-4666-4623-0.ch015"},{"key":"6_CR23","doi-asserted-by":"crossref","unstructured":"Spichkova, M., Liu, H., Schmidt, H.: Towards quality-oriented architecture: integration in a global context. In: Proceedings of the European Conference on Software Architecture Workshops, p. 64. ACM (2015)","DOI":"10.1145\/2797433.2797499"},{"key":"6_CR24","doi-asserted-by":"crossref","unstructured":"Spichkova, M., Zamansky, A.: A human-centred framework for combinatorial test design. In: Proceedings of the 11th International Conference on Evaluation of Novel Software Approaches to Software Engineering, pp. 228\u2013233 (2016)","DOI":"10.5220\/0005898202280233"},{"key":"6_CR25","unstructured":"Spichkova, M., Zamansky, A.: A human-centred framework for supporting model-based testing. In: CAiSE 2016, pp. 105\u2013112. CEUR (2016). http:\/\/researchbank.rmit.edu.au\/view\/rmit:38416 , http:\/\/ceur-ws.org\/Vol-1612\/"},{"key":"6_CR26","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 for Cyber-Physical Systems in the Cloud (2015)","DOI":"10.1109\/ICPADS.2015.115"},{"key":"6_CR27","series-title":"Lecture Notes in Business Information Processing","doi-asserted-by":"publisher","first-page":"116","DOI":"10.1007\/978-3-319-39564-7_12","volume-title":"Advanced Information Systems Engineering Workshops","author":"M Spichkova","year":"2016","unstructured":"Spichkova, M., Zamansky, A., Farchi, E.: A visual logical language for system modelling in combinatorial test design. In: Krogstie, J., Mouratidis, H., Su, J. (eds.) CAiSE 2016. LNBIP, vol. 249, pp. 116\u2013121. Springer, Cham (2016). doi: 10.1007\/978-3-319-39564-7_12"},{"issue":"1","key":"6_CR28","doi-asserted-by":"crossref","first-page":"109","DOI":"10.1109\/32.979992","volume":"28","author":"KC Tai","year":"2002","unstructured":"Tai, K.C., Lei, Y.: A test generation strategy for pairwise testing. IEEE Trans. Softw. Eng. 28(1), 109\u2013111 (2002)","journal-title":"IEEE Trans. Softw. Eng."},{"issue":"4","key":"6_CR29","doi-asserted-by":"crossref","first-page":"30","DOI":"10.1109\/MS.2006.93","volume":"23","author":"D Talby","year":"2006","unstructured":"Talby, D., Keren, A., Hazzan, O., Dubinsky, Y.: Agile software testing in a large-scale project. IEEE Softw. 23(4), 30\u201337 (2006)","journal-title":"IEEE Softw."},{"issue":"5","key":"6_CR30","doi-asserted-by":"crossref","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. 22(5), 297\u2013312 (2012)","journal-title":"Softw. Test. Verif. Reliab."},{"key":"6_CR31","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"35","DOI":"10.1007\/978-3-662-49224-6_4","volume-title":"Software Engineering and Formal Methods","author":"A Zamansky","year":"2015","unstructured":"Zamansky, A., Farchi, E.: Helping the tester get it right: towards supporting agile combinatorial test design. In: Bianculli, D., Calinescu, R., Rumpe, B. (eds.) SEFM 2015. LNCS, vol. 9509, pp. 35\u201342. Springer, Heidelberg (2015). doi: 10.1007\/978-3-662-49224-6_4"},{"key":"6_CR32","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/978-3-662-43429-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, pp. 1\u201316. Springer, Heidelberg (2014)"}],"container-title":["Communications in Computer and Information Science","Evaluation of Novel Approaches to Software Engineering"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-56390-9_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,8,22]],"date-time":"2023-08-22T21:02:37Z","timestamp":1692738157000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-56390-9_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319563893","9783319563909"],"references-count":32,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-56390-9_6","relation":{},"ISSN":["1865-0929","1865-0937"],"issn-type":[{"type":"print","value":"1865-0929"},{"type":"electronic","value":"1865-0937"}],"subject":[],"published":{"date-parts":[[2016]]}}}