{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,10]],"date-time":"2026-03-10T23:58:46Z","timestamp":1773187126417,"version":"3.50.1"},"publisher-location":"Cham","reference-count":17,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783030003586","type":"print"},{"value":"9783030003593","type":"electronic"}],"license":[{"start":{"date-parts":[[2018,1,1]],"date-time":"2018-01-01T00:00:00Z","timestamp":1514764800000},"content-version":"unspecified","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":[[2018]]},"DOI":"10.1007\/978-3-030-00359-3_7","type":"book-chapter","created":{"date-parts":[[2018,8,30]],"date-time":"2018-08-30T06:08:28Z","timestamp":1535609308000},"page":"97-113","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":3,"title":["MBT\/CPN: A Tool for Model-Based Software Testing of Distributed Systems Protocols Using Coloured Petri Nets"],"prefix":"10.1007","author":[{"given":"Rui","family":"Wang","sequence":"first","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":[[2018,8,31]]},"reference":[{"issue":"7","key":"7_CR1","doi-asserted-by":"publisher","first-page":"437","DOI":"10.1109\/32.605761","volume":"23","author":"DM Cohen","year":"1997","unstructured":"Cohen, D.M., Dalal, S.R., Fredman, M.L., Patton, G.C.: The AETG system: an approach to testing based on combinatorial design. IEEE Trans. Softw. Eng. 23(7), 437\u2013444 (1997)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"7_CR2","unstructured":"CPN Tools. CPN Tools homepage. \nhttp:\/\/www.cpntools.org"},{"key":"7_CR3","unstructured":"Google Inc., The Go Programming Language. \nhttps:\/\/golang.org"},{"key":"7_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-540-73066-8_1","volume-title":"Testing of Software and Communicating Systems","author":"A Huima","year":"2007","unstructured":"Huima, A.: Implementing conformiq qtronic. In: Petrenko, A., Veanes, M., Tretmans, J., Grieskamp, W. (eds.) FATES\/TestCom -2007. LNCS, vol. 4581, pp. 1\u201312. Springer, Heidelberg (2007). \nhttps:\/\/doi.org\/10.1007\/978-3-540-73066-8_1"},{"issue":"6","key":"7_CR5","doi-asserted-by":"publisher","first-page":"61","DOI":"10.1145\/2663340","volume":"58","author":"K Jensen","year":"2015","unstructured":"Jensen, K., Kristensen, L.: Coloured petri nets: a graphical language for modelling and validation of concurrent systems. Comm. ACM 58(6), 61\u201370 (2015)","journal-title":"Comm. ACM"},{"key":"7_CR6","doi-asserted-by":"publisher","DOI":"10.1201\/9781315204970","volume-title":"The Craft of Model-Based Testing","author":"P Jorgensen","year":"2017","unstructured":"Jorgensen, P.: The Craft of Model-Based Testing. CRC Press, Boca Raton (2017)"},{"key":"7_CR7","unstructured":"Kelly, J.H., Dan, S.V., John, J.C., Leanna, K.R.: A Practical Tutorial on Modified Condition\/Decision Coverage. Technical report (2001)"},{"key":"7_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"135","DOI":"10.1007\/978-3-319-39086-4_10","volume-title":"Application and Theory of Petri Nets and Concurrency","author":"LM Kristensen","year":"2016","unstructured":"Kristensen, L.M., Veiset, V.: Transforming CPN models into code for TinyOS: a case study of the RPL protocol. In: Kordon, F., Moldt, D. (eds.) PETRI NETS 2016. LNCS, vol. 9698, pp. 135\u2013154. Springer, Cham (2016). \nhttps:\/\/doi.org\/10.1007\/978-3-319-39086-4_10"},{"key":"7_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"56","DOI":"10.1007\/978-3-642-38143-0_3","volume-title":"Transactions on Petri Nets and Other Models of Concurrency VII","author":"LM Kristensen","year":"2013","unstructured":"Kristensen, L.M., Simonsen, K.I.F.: Applications of coloured petri nets for functional validation of protocol designs. In: Jensen, K., van der Aalst, W.M.P., Balbo, G., Koutny, M., Wolf, K. (eds.) Transactions on Petri Nets and Other Models of Concurrency VII. LNCS, vol. 7480, pp. 56\u2013115. Springer, Heidelberg (2013). \nhttps:\/\/doi.org\/10.1007\/978-3-642-38143-0_3"},{"key":"7_CR10","doi-asserted-by":"crossref","unstructured":"Lea, T.E., Jehl, L., Meling, H.: Towards new abstractions for implementing quorum-based systems. In: Proceedings of 37th IEEE International Conference on Distributed Computing Systems (ICDCS), pp. 2380\u20132385 (2017)","DOI":"10.1109\/ICDCS.2017.166"},{"key":"7_CR11","unstructured":"MBT\/CPN. Repository, January 2018. \nhttps:\/\/github.com\/selabhvl\/mbtcpn.git"},{"key":"7_CR12","unstructured":"Tretmans, G., Brinksma, H.: TorX: automated model-based testing. In: Hartman, A., Dussa-Ziegler, K. (eds.) 1st European Conference on Model-Driven Software Engineering, vol. 12, pp. 31\u201343 (2003)"},{"key":"7_CR13","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. Verifi. Reliab. 22, 297\u2013312 (2012)","journal-title":"Softw. Test. Verifi. Reliab."},{"key":"7_CR14","unstructured":"Wang, R., Kristensen, L., Meling, H., Stolz, V.: Automated test case generation for the paxos single-decree protocol using a coloured petri net model. J. Log. Algebraic Method. Programm. (JLAMP) (Submitted)"},{"key":"7_CR15","unstructured":"Wang, R., Kristensen, L., Meling, H., Stolz, V.: Application of model-based testing on a quorum-based distributed storage. In: Proceedings of PNSE 2017, CEUR Workshop Proceedings, vol. 1846, pp. 177\u2013196 (2017)"},{"key":"7_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"308","DOI":"10.1007\/978-3-642-21834-7_17","volume-title":"Applications and Theory of Petri Nets","author":"D Xu","year":"2011","unstructured":"Xu, D.: A tool for automated test code generation from high-level petri nets. In: Kristensen, L.M., Petrucci, L. (eds.) PETRI NETS 2011. LNCS, vol. 6709, pp. 308\u2013317. Springer, Heidelberg (2011). \nhttps:\/\/doi.org\/10.1007\/978-3-642-21834-7_17"},{"issue":"04","key":"7_CR17","doi-asserted-by":"publisher","first-page":"599","DOI":"10.1142\/S0218194009004313","volume":"19","author":"D Xu","year":"2009","unstructured":"Xu, D., Xu, W., Wong, W.E.: Automated test code generation from class state models. Int. J. Softw. Eng. Knowl. Eng. 19(04), 599\u2013623 (2009)","journal-title":"Int. J. Softw. Eng. Knowl. Eng."}],"container-title":["Lecture Notes in Computer Science","Verification and Evaluation of Computer and Communication Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-00359-3_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2018,8,30]],"date-time":"2018-08-30T06:12:11Z","timestamp":1535609531000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-030-00359-3_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018]]},"ISBN":["9783030003586","9783030003593"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-00359-3_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2018]]}}}