{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,6]],"date-time":"2025-07-06T10:10:08Z","timestamp":1751796608117,"version":"3.41.0"},"reference-count":36,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018,7]]},"DOI":"10.1109\/hsi.2018.8431197","type":"proceedings-article","created":{"date-parts":[[2018,8,13]],"date-time":"2018-08-13T22:11:17Z","timestamp":1534198277000},"page":"261-267","source":"Crossref","is-referenced-by-count":1,"title":["Tiny TTCN-Inspired Testing Tools for Experimenting with Hybrid IoT Systems"],"prefix":"10.1109","author":[{"given":"Krzysztof M.","family":"Brzezinski","sequence":"first","affiliation":[]}],"member":"263","reference":[{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1002\/9780470977903"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1109\/JIOT.2015.2505901"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1007\/BF01784885"},{"journal-title":"SmartM2M Smart Appliances Ontology and Communication Framework Testing","article-title":"TS 103 268","year":"2017","key":"ref30"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1145\/1592434.1592436"},{"journal-title":"User Interface Design Bridging the Gap from User Requirements to Design","year":"1997","author":"wood","key":"ref35"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1007\/978-0-585-27524-6_4"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1177\/1053815111418235"},{"key":"ref11","first-page":"4","article-title":"Usability Testing of Mobile Applications: A Comparison between Laboratory and Field Testing","volume":"1","author":"kaikkonen","year":"2005","journal-title":"Journal of Usability Studies"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1016\/j.jlap.2008.08.004"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/HLDVT.2012.6418247"},{"key":"ref14","first-page":"143","article-title":"Towards the Methodological Harmonization of Passive Testing Across ICT Communities","author":"brzezi?ski","year":"2009","journal-title":"Engineering the Computer Science and IT"},{"key":"ref15","first-page":"2036","article-title":"Function and Performance of Testing: Towards a Systemic View","year":"2015","journal-title":"13th IEEE Int Conf on Dependable Autonomic and Secure Computing (DASC-2015)"},{"key":"ref16","article-title":"Model Based Generation of TTCN-3 Test Cases","author":"huima","year":"2007","journal-title":"4th TTCN-3 User Conference (T3UC'2007)"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/ISADS.2003.1193946"},{"key":"ref18","first-page":"79","article-title":"Intrusion Detection as Passive Testing: Linguistic Support with TTCN-3","author":"brzezi?ski","year":"2007","journal-title":"4th Int Conference on Detection of Intrusions and Malware and Vulnerability Assessment (DIMVA 2007) ser LNCS 4579"},{"key":"ref19","first-page":"16","article-title":"Common TTCN-3 Based Execution Technology for Testing and Monitoring","year":"2010","journal-title":"XIV Poznan Telecommunications Workshop (PWT 2010)"},{"key":"ref28","article-title":"Integration Testing of Large Distributed Systems - The ETCS Example","author":"ulrich","year":"2009","journal-title":"TTCN-3 User Conference (T3UC'2009)"},{"journal-title":"Research Design Qualitative Quantitative and Mixed Methods Approaches","year":"2014","author":"creswell","key":"ref4"},{"journal-title":"Passive Interoperability Testing for Communication Protocols [D]","year":"2013","author":"chen","key":"ref27"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/MAHC.2006.42"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1145\/2470654.2466452"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1007\/978-0-387-34883-4_2"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1016\/j.intcom.2010.07.003"},{"journal-title":"Nudge Improving Decisions About Health Wealth and Happiness","year":"2008","author":"thaler","key":"ref8"},{"key":"ref7","first-page":"67","article-title":"Design for Behaviour Change as a Driver for Sustainable Innovation: Challenges and Opportunities for Implementation in the Private and Public Sectors","volume":"10","author":"niedderer","year":"2016","journal-title":"International Journal of Design"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0055332"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1007\/11853565_18"},{"key":"ref1","doi-asserted-by":"crossref","first-page":"63","DOI":"10.26636\/jtit.2011.3.1159","article-title":"Active - Passive: On Preconceptions of Testing","author":"brzezi?ski","year":"2011","journal-title":"Journal of Telecommunications and Information Technology"},{"key":"ref20","article-title":"ISO\/IEC 9646","volume":"1","year":"0","journal-title":"Conformance Testing Methodology and Framework"},{"journal-title":"The Testing and Test Control Notation version 3","article-title":"ES 201 873","year":"0","key":"ref22"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1007\/s10009-014-0302-9"},{"journal-title":"Arduino (n d )","year":"0","key":"ref24"},{"key":"ref23","article-title":"Testing Embedded Systems in the Automotive Industry with TTCN-3","author":"grabowski","year":"2009","journal-title":"TTCN-3 User Conference (T3UC'2009)"},{"key":"ref26","article-title":"Raspberry Pi Single-Board Computers for Testing: How Berry Traces have Changed our Lives","author":"l\u00fcdtke","year":"2014","journal-title":"2nd User Conference on Advanced Automated Testing (UCAAT)"},{"journal-title":"The Interoperability Enabler for the Entire M2M and IoT Ecosystem","year":"2015","key":"ref25"}],"event":{"name":"2018 11th International Conference on Human System Interaction (HSI)","start":{"date-parts":[[2018,7,4]]},"location":"Gdansk","end":{"date-parts":[[2018,7,6]]}},"container-title":["2018 11th International Conference on Human System Interaction (HSI)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8417135\/8430754\/08431197.pdf?arnumber=8431197","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,7,6]],"date-time":"2025-07-06T09:50:52Z","timestamp":1751795452000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/8431197\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,7]]},"references-count":36,"URL":"https:\/\/doi.org\/10.1109\/hsi.2018.8431197","relation":{},"subject":[],"published":{"date-parts":[[2018,7]]}}}