{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,19]],"date-time":"2026-03-19T11:56:47Z","timestamp":1773921407713,"version":"3.50.1"},"publisher-location":"Cham","reference-count":30,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783030549930","type":"print"},{"value":"9783030549947","type":"electronic"}],"license":[{"start":{"date-parts":[[2020,1,1]],"date-time":"2020-01-01T00:00:00Z","timestamp":1577836800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2020,1,1]],"date-time":"2020-01-01T00:00:00Z","timestamp":1577836800000},"content-version":"vor","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2020]]},"DOI":"10.1007\/978-3-030-54994-7_35","type":"book-chapter","created":{"date-parts":[[2020,8,12]],"date-time":"2020-08-12T20:03:45Z","timestamp":1597262625000},"page":"486-502","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["Model-Based Testing of Post-WIMP Interactions Using Object Oriented Petri-Nets"],"prefix":"10.1007","author":[{"given":"Alexandre","family":"Canny","sequence":"first","affiliation":[]},{"given":"David","family":"Navarre","sequence":"additional","affiliation":[]},{"given":"Jos\u00e9 Creissac","family":"Campos","sequence":"additional","affiliation":[]},{"given":"Philippe","family":"Palanque","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2020,8,13]]},"reference":[{"key":"35_CR1","doi-asserted-by":"publisher","first-page":"183","DOI":"10.1016\/0304-3975(94)90010-8","volume":"126","author":"R Alur","year":"1994","unstructured":"Alur, R., Dill, D.: A theory of timed automata. Theoret. Comput. Sci. 126, 183\u2013235 (1994)","journal-title":"Theoret. Comput. Sci."},{"key":"35_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1007\/978-3-540-69554-7_3","volume-title":"Interactive Systems. Design, Specification, and Verification","author":"E Barboni","year":"2007","unstructured":"Barboni, E., Conversy, S., Navarre, D., Palanque, P.: Model-based engineering of widgets, user applications and servers compliant with ARINC 661 specification. In: Doherty, G., Blandford, A. (eds.) DSV-IS 2006. LNCS, vol. 4323, pp. 25\u201338. Springer, Heidelberg (2007). \n                    https:\/\/doi.org\/10.1007\/978-3-540-69554-7_3"},{"key":"35_CR3","unstructured":"Bass, L., et al.: The arch model: Seeheim revisited. In: User Interface Developers\u2019 Workshop (1991)"},{"key":"35_CR4","doi-asserted-by":"crossref","unstructured":"Bastide, R., Navarre, D., Palanque, P.: A model-based tool for interactive prototyping of highly interactive applications. In: CHI 2002 Extended Abstracts on Human Factors in Computing Systems, pp. 516\u2013517. ACM, New York (2002)","DOI":"10.1145\/506443.506457"},{"key":"35_CR5","doi-asserted-by":"crossref","unstructured":"Bastide, R., Navarre, D., Palanque, P., Schyn, A., Dragicevic, P.: A model-based approach for real-time embedded multimodal systems in military aircrafts. In: Sixth International Conference on Multimodal Interfaces (ICMI 2004), USA, 14\u201315 October 2004. ACM Press (2004)","DOI":"10.1145\/1027933.1027974"},{"key":"35_CR6","doi-asserted-by":"publisher","first-page":"53","DOI":"10.4204\/EPTCS.189.6","volume":"189","author":"E Best","year":"2015","unstructured":"Best, E., Schlachter, U.: Analysis of petri nets and transition systems. Electron. Proc. Theor. Comput. Sci. 189, 53\u201367 (2015)","journal-title":"Electron. Proc. Theor. Comput. Sci."},{"key":"35_CR7","doi-asserted-by":"publisher","first-page":"5:1","DOI":"10.1145\/3095807","volume":"1","author":"J Bowen","year":"2017","unstructured":"Bowen, J., Reeves, S.: Generating obligations, assertions and tests from UI models. Proc. ACM Hum.-Comput. Interact. 1, 5:1\u20135:18 (2017)","journal-title":"Proc. ACM Hum.-Comput. Interact."},{"key":"35_CR8","doi-asserted-by":"crossref","unstructured":"Campos, J.C., Fayollas, C., Martinie, C., Navarre, D., Palanque, P., Pinto, M.: Systematic automation of scenario-based testing of user interfaces. In: Proceedings of the 8th ACM SIGCHI Symposium on Engineering Interactive Computing Systems, pp. 138\u2013148. ACM, New York (2016)","DOI":"10.1145\/2933242.2948735"},{"key":"35_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"164","DOI":"10.1007\/978-3-030-05909-5_10","volume-title":"Human-Centered Software Engineering","author":"A Canny","year":"2019","unstructured":"Canny, A., Bouzekri, E., Martinie, C., Palanque, P.: Rationalizing the need of architecture-driven testing of interactive systems. In: Bogdan, C., Kuusinen, K., L\u00e1rusd\u00f3ttir, M.K., Palanque, P., Winckler, M. (eds.) HCSE 2018. LNCS, vol. 11262, pp. 164\u2013186. Springer, Cham (2019). \n                    https:\/\/doi.org\/10.1007\/978-3-030-05909-5_10"},{"key":"35_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"109","DOI":"10.1007\/978-3-030-05909-5_7","volume-title":"Human-Centered Software Engineering","author":"M Cronel","year":"2019","unstructured":"Cronel, M., Dumas, B., Palanque, P., Canny, A.: MIODMIT: a generic architecture for dynamic multimodal interactive systems. In: Bogdan, C., Kuusinen, K., L\u00e1rusd\u00f3ttir, M.K., Palanque, P., Winckler, M. (eds.) HCSE 2018. LNCS, vol. 11262, pp. 109\u2013129. Springer, Cham (2019). \n                    https:\/\/doi.org\/10.1007\/978-3-030-05909-5_7"},{"key":"35_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"82","DOI":"10.1007\/3-540-59293-8_188","volume-title":"TAPSOFT \u201895: Theory and Practice of Software Development","author":"M-C Gaudel","year":"1995","unstructured":"Gaudel, M.-C.: Testing can be formal, too. In: Mosses, Peter D., Nielsen, M., Schwartzbach, Michael I. (eds.) CAAP 1995. LNCS, vol. 915, pp. 82\u201396. Springer, Heidelberg (1995). \n                    https:\/\/doi.org\/10.1007\/3-540-59293-8_188"},{"key":"35_CR12","doi-asserted-by":"crossref","unstructured":"Hamon, A., Palanque, P., Silva, J.L., Deleris, Y., Barboni, E.: Formal description of multi-touch interactions. In: Proceedings of the 5th ACM SIGCHI Symposium on Engineering Interactive Computing Systems, pp. 207\u2013216. ACM, New York (2013)","DOI":"10.1145\/2494603.2480311"},{"key":"35_CR13","doi-asserted-by":"publisher","unstructured":"Ladry, J.-F., Navarre, D., Palanque, P.: Formal description techniques to support the design, construction and evaluation of fusion engines for sure (safe, usable, reliable and evolvable) multimodal interfaces. In: Proceedings of the 2009 International Conference on Multimodal Interfaces, pp. 185\u2013192. ACM, New York (2009). \n                    https:\/\/doi.org\/10.1145\/1647314.1647347","DOI":"10.1145\/1647314.1647347"},{"key":"35_CR14","doi-asserted-by":"crossref","unstructured":"Lelli, V., Blouin, A., Baudry, B., Coulon, F.: On model-based testing advanced GUIs. In: 2015 IEEE Eighth International Conference on Software Testing, Verification and Validation Workshops (ICSTW), pp. 1\u201310 (2015)","DOI":"10.1109\/ICSTW.2015.7107403"},{"key":"35_CR15","doi-asserted-by":"crossref","unstructured":"Martinie, C., Navarre, D., Palanque, P., Barboni, E., Canny, A.: TOUCAN: an IDE supporting the development of effective interactive java applications. In: Proceedings of the ACM SIGCHI Symposium on Engineering Interactive Computing Systems, pp. 4:1\u20134:7. ACM, New York (2018)","DOI":"10.1145\/3220134.3220136"},{"key":"35_CR16","doi-asserted-by":"crossref","unstructured":"Memon, A.M., Nguyen, B.N.: Advances in automated model-based system testing of software applications with a GUI front-end. In: Zelkowitz, M.V. (ed.) Advances in Computers, pp. 121\u2013162. Elsevier (2010)","DOI":"10.1016\/S0065-2458(10)80003-8"},{"key":"35_CR17","doi-asserted-by":"crossref","unstructured":"Mirlacher, T., Palanque, P., Bernhaupt, R.: Engineering animations in user interfaces. In: Proceedings of the 4th ACM SIGCHI Symposium on Engineering Interactive Computing Systems, pp. 111\u2013120. ACM, New York (2012)","DOI":"10.1145\/2305484.2305504"},{"key":"35_CR18","doi-asserted-by":"publisher","first-page":"4:1","DOI":"10.1145\/3300963","volume":"3","author":"IC Morgado","year":"2019","unstructured":"Morgado, I.C., Paiva, A.C.R.: The iMPAcT tool for android testing. Proc. ACM Hum.-Comput. Interact. 3, 4:1\u20134:23 (2019)","journal-title":"Proc. ACM Hum.-Comput. Interact."},{"key":"35_CR19","first-page":"18:1","volume":"16","author":"D Navarre","year":"2009","unstructured":"Navarre, D., Palanque, P., Ladry, J.-F., Barboni, E.: ICOs: a model-based user interface description technique dedicated to interactive systems addressing usability, reliability and scalability. Proc. ACM Hum.-Comput. Interact. 16, 18:1\u201318:56 (2009)","journal-title":"Proc. ACM Hum.-Comput. Interact."},{"key":"35_CR20","doi-asserted-by":"crossref","unstructured":"Palanque, P., Bernhaupt, R., Navarre, D., Ould, M., Winckler, M.: Supporting usability evaluation of multimodal man-machine interfaces for space ground segment applications using petri net based formal specification. In: Ninth International Conference on Space Operations, Italy, 18\u201322 June 2006 (2006)","DOI":"10.2514\/6.2006-5657"},{"key":"35_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"667","DOI":"10.1007\/978-3-642-02574-7_75","volume-title":"Human-Computer Interaction. New Trends","author":"P Palanque","year":"2009","unstructured":"Palanque, P., Ladry, J.-F., Navarre, D., Barboni, E.: High-fidelity prototyping of interactive systems can be formal too. In: Jacko, Julie A. (ed.) HCI 2009. LNCS, vol. 5610, pp. 667\u2013676. Springer, Heidelberg (2009). \n                    https:\/\/doi.org\/10.1007\/978-3-642-02574-7_75"},{"key":"35_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"53","DOI":"10.1007\/978-3-030-26601-1_4","volume-title":"Computer Safety, Reliability, and Security","author":"P Palanque","year":"2019","unstructured":"Palanque, P., Cockburn, A., D\u00e9sert-Legendre, L., Gutwin, C., Deleris, Y.: Brace touch: a dependable, turbulence-tolerant, multi-touch interaction technique for interactive cockpits. In: Romanovsky, A., Troubitsyna, E., Bitsch, F. (eds.) SAFECOMP 2019. LNCS, vol. 11698, pp. 53\u201368. Springer, Cham (2019). \n                    https:\/\/doi.org\/10.1007\/978-3-030-26601-1_4"},{"key":"35_CR23","doi-asserted-by":"crossref","unstructured":"Pezz\u00e8, M., Rondena, P., Zuddas, D.: Automatic GUI testing of desktop applications: an empirical assessment of the state of the art. In: Companion Proceedings for the ISSTA\/ECOOP 2018 Workshops, pp. 54\u201362. ACM, New York (2018)","DOI":"10.1145\/3236454.3236489"},{"key":"35_CR24","unstructured":"RTCA: DO-178C Software Considerations in Airborne Systems and Equipment Certification (2011)"},{"key":"35_CR25","unstructured":"RTCA: DO-333 Formal Methods Supplement to DO-178C and DO-278A (2011)"},{"key":"35_CR26","doi-asserted-by":"publisher","first-page":"57","DOI":"10.1109\/MC.1983.1654471","volume":"16","author":"B Shneiderman","year":"1983","unstructured":"Shneiderman, B.: Direct manipulation: a step beyond programming languages. Computer 16, 57\u201369 (1983). \n                    https:\/\/doi.org\/10.1109\/MC.1983.1654471","journal-title":"Computer"},{"key":"35_CR27","volume-title":"The Z notation","author":"JM Spivey","year":"1992","unstructured":"Spivey, J.M., Abrial, J.: The Z notation. Prentice Hall, Hemel Hempstead (1992)"},{"key":"35_CR28","doi-asserted-by":"publisher","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, 297\u2013312 (2012)","journal-title":"Softw. Test. Verif. Reliab."},{"issue":"2","key":"35_CR29","doi-asserted-by":"publisher","first-page":"63","DOI":"10.1145\/253671.253708","volume":"40","author":"A Van Dam","year":"1997","unstructured":"Van Dam, A.: Post-WIMP user interfaces. Commun. ACM 40(2), 63\u201367 (1997)","journal-title":"Commun. ACM"},{"key":"35_CR30","doi-asserted-by":"publisher","first-page":"263","DOI":"10.1016\/S0045-7906(01)00034-9","volume":"29","author":"X Ye","year":"2003","unstructured":"Ye, X., Zhou, J., Song, X.: On reachability graphs of Petri nets. Comput. Electr. Eng. 29, 263\u2013272 (2003). \n                    https:\/\/doi.org\/10.1016\/S0045-7906(01)00034-9","journal-title":"Comput. Electr. Eng."}],"container-title":["Lecture Notes in Computer Science","Formal Methods. FM 2019 International Workshops"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-54994-7_35","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,8,14]],"date-time":"2020-08-14T12:47:49Z","timestamp":1597409269000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-030-54994-7_35"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020]]},"ISBN":["9783030549930","9783030549947"],"references-count":30,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-54994-7_35","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2020]]},"assertion":[{"value":"13 August 2020","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"FM","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Symposium on Formal Methods","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Porto","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Portugal","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2019","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"7 October 2019","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"11 October 2019","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"3","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"fm2019","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/formalmethods2019.inesctec.pt\/?page_id=84","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Single-blind","order":1,"name":"type","label":"Type","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"EasyChair","order":2,"name":"conference_management_system","label":"Conference Management System","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"129","order":3,"name":"number_of_submissions_sent_for_review","label":"Number of Submissions Sent for Review","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"44","order":4,"name":"number_of_full_papers_accepted","label":"Number of Full Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"7","order":5,"name":"number_of_short_papers_accepted","label":"Number of Short Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"34% - The value is computed by the equation \"Number of Full Papers Accepted \/ Number of Submissions Sent for Review * 100\" and then rounded to a whole number.","order":6,"name":"acceptance_rate_of_full_papers","label":"Acceptance Rate of Full Papers","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"4","order":7,"name":"average_number_of_reviews_per_paper","label":"Average Number of Reviews per Paper","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"5,5","order":8,"name":"average_number_of_papers_per_reviewer","label":"Average Number of Papers per Reviewer","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"No","order":9,"name":"external_reviewers_involved","label":"External Reviewers Involved","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}}]}}