{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T13:46:57Z","timestamp":1743083217100,"version":"3.40.3"},"publisher-location":"Cham","reference-count":25,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030659547"},{"type":"electronic","value":"9783030659554"}],"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-65955-4_6","type":"book-chapter","created":{"date-parts":[[2020,12,19]],"date-time":"2020-12-19T16:02:50Z","timestamp":1608393770000},"page":"68-83","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":3,"title":["Coverage Analysis of Net Inscriptions in Coloured Petri Net Models"],"prefix":"10.1007","author":[{"given":"Faustin","family":"Ahishakiye","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jos\u00e9 Ignacio","family":"Requeno Jarabo","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Lars Michael","family":"Kristensen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Volker","family":"Stolz","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2020,12,20]]},"reference":[{"doi-asserted-by":"crossref","unstructured":"Ahishakiye, F., Jak\u0161i\u0107, S., Stolz, V., Lange, F.D., Schmitz, M., Thoma, D.: Non-intrusive MC\/DC measurement based on traces. In: M\u00e9ry, D., Qin, S. (eds.) International Symposium on Theoretical Aspects of Software Engineering, pp. 86\u201392. IEEE (2019)","key":"6_CR1","DOI":"10.1109\/TASE.2019.00-15"},{"unstructured":"Ahishakiye, F., Jarabo, J.I.R., Kristensen, L.M., Stolz, V.: Coverage Analysis of Net Inscriptions in Coloured Petri Net Models (2020). https:\/\/arxiv.org\/abs\/2005.09806v1","key":"6_CR2"},{"unstructured":"Certification Authorities Software Team (CAST): Rationale for Accepting Masking MC\/DC in Certification Projects. Technical report, Position Paper CAST-6 (2001)","key":"6_CR3"},{"unstructured":"Cornett, S.: Code Coverage Analysis (1996\u20132014). https:\/\/www.bullseye.com\/coverage.html. Accessed 6 June 2020","key":"6_CR4"},{"key":"6_CR5","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/j.scico.2019.04.002","volume":"181","author":"A Gkolfi","year":"2019","unstructured":"Gkolfi, A., Din, C.C., Johnsen, E.B., Kristensen, L.M., Steffen, M., Yu, I.C.: Translating active objects into Coloured Petri Nets for communication analysis. Sci. Comput. Program. 181, 1\u201326 (2019)","journal-title":"Sci. Comput. Program."},{"unstructured":"Hayhurst, K.J., Veerhusen, D.S., Chilenski, J.J., Rierson, L.K.: A Practical Tutorial on Modified Condition\/Decision Coverage. Technical report NASA\/TM-2001-210876, NASA Langley Server (2001). https:\/\/dl.acm.org\/doi\/book\/10.5555\/886632","key":"6_CR6"},{"doi-asserted-by":"crossref","unstructured":"Heimdahl, M.P.E., Whalen, M.W., Rajan, A., Staats, M.: On MC\/DC and implementation structure: an empirical study. In: Proceedings of IEEE\/AIAA 27th Digital Avionics Systems Conference, pp. 5.B.3-1\u20135.B.3-13 (2008)","key":"6_CR7","DOI":"10.1109\/DASC.2008.4702848"},{"unstructured":"Jensen, K., Christensen, S., Kristensen, L.M., Michael, W.: CPN Tools (2010). http:\/\/cpntools.org\/","key":"6_CR8"},{"key":"6_CR9","doi-asserted-by":"publisher","first-page":"61","DOI":"10.1145\/2663340","volume":"58","author":"K Jensen","year":"2015","unstructured":"Jensen, K., Kristensen, L.M.: Coloured Petri Nets: a graphical language for formal modeling and validation of concurrent systems. Commun. ACM 58, 61\u201370 (2015)","journal-title":"Commun. ACM"},{"unstructured":"John J., C.: An investigation of three forms of the Modified Condition Decision Coverage (MC\/DC) criterion. Technical report, Office of Aviation Research (2001)","key":"6_CR10"},{"issue":"5","key":"6_CR11","doi-asserted-by":"publisher","first-page":"193","DOI":"10.1049\/sej.1994.0025","volume":"9","author":"J John","year":"1994","unstructured":"John, J., Steven, C.: Applicability of modified condition\/decision coverage to software testing. Softw. Eng. J. 9(5), 193\u20132001994 (1994)","journal-title":"Softw. Eng. J."},{"unstructured":"Lill, R., Saglietti, F.: Model-based testing of cooperating robotic systems using Coloured Petri Nets. In: Proceedings of SAFECOMP 2013 - Workshop DECS (ERCIM\/EWICS Workshop on Dependable Embedded and Cyber-physical Systems) of the 32nd International Conference on Computer Safety, Reliability and Security. Toulouse, France (Sep 2013). https:\/\/hal.archives-ouvertes.fr\/hal-00848597","key":"6_CR12"},{"issue":"18","key":"6_CR13","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1002\/cpe.4179","volume":"29","author":"C Pascal","year":"2017","unstructured":"Pascal, C., Panescu, D.: A Coloured Petri Nets model for DisCSP algorithms. Concurr. Comput. Pract. Exp. 29(18), 1\u201323 (2017)","journal-title":"Concurr. Comput. Pract. Exp."},{"doi-asserted-by":"crossref","unstructured":"Paul, T.K., Lau, M.F.: A systematic literature review on modified condition and decision coverage. In: Proceedings of the 29th Annual ACM Symposium on Applied Computing, pp. 1301\u20131308. SAC 2014, Association for Computing Machinery (2014)","key":"6_CR14","DOI":"10.1145\/2554850.2555004"},{"unstructured":"Pothon, F.: DO-178C\/ED-12C versus DO-178B\/ED-12B: Changes and Improvements. Technical report, AdaCore (2012)","key":"6_CR15"},{"key":"6_CR16","volume-title":"Developing Safety-Critical Software: A Practical Guide for Aviation Software and DO-178C Compliance","author":"L Rierson","year":"2013","unstructured":"Rierson, L.: Developing Safety-Critical Software: A Practical Guide for Aviation Software and DO-178C Compliance. CRC Press, Boca Raton (2013)"},{"key":"6_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"126","DOI":"10.1007\/978-3-662-60651-3_5","volume-title":"Transactions on Petri Nets and Other Models of Concurrency XIV","author":"A Rodr\u00edguez","year":"2019","unstructured":"Rodr\u00edguez, A., Kristensen, L.M., Rutle, A.: Formal modelling and incremental verification of the MQTT IoT protocol. In: Koutny, M., Pomello, L., Kristensen, L.M. (eds.) Transactions on Petri Nets and Other Models of Concurrency XIV. LNCS, vol. 11790, pp. 126\u2013145. Springer, Heidelberg (2019). https:\/\/doi.org\/10.1007\/978-3-662-60651-3_5"},{"unstructured":"Simulink: Types of Model Coverage. https:\/\/se.mathworks.com\/help\/slcoverage\/ug\/types-of-model-coverage.html. Accessed 06 March 2020","key":"6_CR18"},{"doi-asserted-by":"crossref","unstructured":"Sim\u00e3o, A., Do, S., Souza, S., Maldonado, J.: A family of coverage testing criteria for Coloured Petri Nets. In: Proceedings of 17th Brazilian Symposium on Software Engineering (SBES 2003), pp. 209\u2013224 (2003)","key":"6_CR19","DOI":"10.5753\/sbes.2003.23862"},{"unstructured":"Sudipto Ghosh, France, R., Braganza, C., Kawane, N., Andrews, A., Orest Pilskalns: Test adequacy assessment for UML design model testing. In: Proceedings of 14th International Symposium on Software Reliability Engineering, ISSRE 2003, pp. 332\u2013343 (2003)","key":"6_CR20"},{"issue":"2","key":"6_CR21","doi-asserted-by":"publisher","first-page":"7515","DOI":"10.4249\/scholarpedia.7515","volume":"4","author":"M Tofte","year":"2009","unstructured":"Tofte, M.: Standard ML language. Scholarpedia 4(2), 7515 (2009)","journal-title":"Scholarpedia"},{"key":"6_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"291","DOI":"10.1007\/3-540-45648-1_15","volume-title":"ZB 2002:Formal Specification and Development in Z and B","author":"SA Vilkomir","year":"2002","unstructured":"Vilkomir, S.A., Bowen, J.P.: Reinforced condition\/decision coverage (RC\/DC): a new criterion for software testing. In: Bert, D., Bowen, J.P., Henson, M.C., Robinson, K. (eds.) ZB 2002. LNCS, vol. 2272, pp. 291\u2013308. Springer, Heidelberg (2002). https:\/\/doi.org\/10.1007\/3-540-45648-1_15"},{"key":"6_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"474","DOI":"10.1007\/978-3-030-34968-4_26","volume-title":"Integrated Formal Methods","author":"R Wang","year":"2019","unstructured":"Wang, R., Artho, C., Kristensen, L.M., Stolz, V.: Visualization and abstractions for execution paths in model-based software testing. In: Ahrendt, W., Tapia Tarifa, S.L. (eds.) IFM 2019. LNCS, vol. 11918, pp. 474\u2013492. Springer, Cham (2019). https:\/\/doi.org\/10.1007\/978-3-030-34968-4_26"},{"key":"6_CR24","doi-asserted-by":"publisher","first-page":"254","DOI":"10.1016\/j.jlamp.2019.02.004","volume":"104","author":"R Wang","year":"2019","unstructured":"Wang, R., Kristensen, L.M., Meling, H., Stolz, V.: Automated test case generation for the Paxos single-decree protocol using a Coloured Petri Net model. Logic. Algebraic Methods Program. 104, 254\u2013273 (2019)","journal-title":"Logic. Algebraic Methods Program."},{"issue":"1","key":"6_CR25","doi-asserted-by":"publisher","first-page":"247","DOI":"10.1109\/TR.2014.2354172","volume":"64","author":"D Xu","year":"2015","unstructured":"Xu, D., Xu, W., Kent, M., Thomas, L., Wang, L.: An automated test generation technique for software quality assurance. IEEE Reliab. 64(1), 247\u2013268 (2015)","journal-title":"IEEE Reliab."}],"container-title":["Lecture Notes in Computer Science","Verification and Evaluation of Computer and Communication Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-65955-4_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,10,15]],"date-time":"2023-10-15T17:34:26Z","timestamp":1697391266000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-030-65955-4_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020]]},"ISBN":["9783030659547","9783030659554"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-65955-4_6","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2020]]},"assertion":[{"value":"20 December 2020","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"VECoS","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Verification and Evaluation of Computer and Communication Systems","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Xi'an","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"China","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2020","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"26 October 2020","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"27 October 2020","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"14","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"vecos2020","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/vecos-world.org\/2020\/","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":"60","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":"19","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":"1","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":"32% - 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":"3.26","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":"2.86","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":"Yes","order":9,"name":"external_reviewers_involved","label":"External Reviewers Involved","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"The conference was held virtually.","order":10,"name":"additional_info_on_review_process","label":"Additional Info on Review Process","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}}]}}