{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,10]],"date-time":"2024-09-10T17:06:11Z","timestamp":1725987971912},"publisher-location":"Cham","reference-count":26,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319975702"},{"type":"electronic","value":"9783319975719"}],"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-319-97571-9_13","type":"book-chapter","created":{"date-parts":[[2018,8,14]],"date-time":"2018-08-14T12:55:24Z","timestamp":1534251324000},"page":"142-157","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["Model Based Approach for Testing: Distributed Real-Time Systems Augmented with Online Monitors"],"prefix":"10.1007","author":[{"given":"Deepak","family":"Pal","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"J\u00fcri","family":"Vain","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2018,8,15]]},"reference":[{"key":"13_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"65","DOI":"10.1007\/978-3-642-41707-8_5","volume-title":"Testing Software and Systems","author":"A David","year":"2013","unstructured":"David, A., Larsen, K.G., Miku\u010dionis, M., Nguena Timo, O.L., Rollet, A.: Remote testing of timed specifications. In: Yenig\u00fcn, H., Yilmaz, C., Ulrich, A. (eds.) ICTSS 2013. LNCS, vol. 8254, pp. 65\u201381. Springer, Heidelberg (2013). https:\/\/doi.org\/10.1007\/978-3-642-41707-8_5"},{"key":"13_CR2","doi-asserted-by":"publisher","first-page":"177","DOI":"10.1007\/s00165-005-0066-9","volume":"17","author":"B Wachter","year":"2005","unstructured":"Wachter, B., Genon, A., Massart, T., Meuter, C.: The formal design of distributed controllers with dSL and spin. Formal Aspects Comput. 17, 177\u2013200 (2005)","journal-title":"Formal Aspects Comput."},{"key":"13_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"359","DOI":"10.1007\/3-540-45657-0_29","volume-title":"Computer Aided Verification","author":"A Cimatti","year":"2002","unstructured":"Cimatti, A., et al.: NuSMV 2: an opensource tool for symbolic model checking. In: Brinksma, E., Larsen, K.G. (eds.) CAV 2002. LNCS, vol. 2404, pp. 359\u2013364. Springer, Heidelberg (2002). https:\/\/doi.org\/10.1007\/3-540-45657-0_29"},{"key":"13_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-60761-7","volume-title":"Partial-Order Methods for the Verification of Concurrent Systems - An Approach to the State-Explosion Problem","year":"1996","unstructured":"Godefroid, P. (ed.): Partial-Order Methods for the Verification of Concurrent Systems - An Approach to the State-Explosion Problem. LNCS, vol. 1032. Springer, Heidelberg (1996). https:\/\/doi.org\/10.1007\/3-540-60761-7"},{"key":"13_CR5","volume-title":"Model Checking","author":"E Clarke","year":"1999","unstructured":"Clarke, E., Grumberg, O., Peled, D.: Model Checking. The MIT Press, Cambridge (1999)"},{"key":"13_CR6","doi-asserted-by":"crossref","unstructured":"McMillan, K.L.: Symbolic model checking: an approach to the state explosion problem. Carnegie Mellon University (1992)","DOI":"10.1007\/978-1-4615-3190-6_3"},{"issue":"5","key":"13_CR7","doi-asserted-by":"publisher","first-page":"293","DOI":"10.1016\/j.jlap.2008.08.004","volume":"78","author":"M Leucker","year":"2008","unstructured":"Leucker, M., Schallhart, C.: A brief account of runtime verification. J. Log. Algebr. Program. 78(5), 293\u2013303 (2008)","journal-title":"J. Log. Algebr. Program."},{"key":"13_CR8","unstructured":"Goodloe, A., Pike, L.: Monitoring distributed real-time systems: a survey and future directions (NASA\/CR-2010-216724). In: Havelund, K., Rosu, G. (eds.) Synthesizing monitors for safety properties (2010)"},{"key":"13_CR9","doi-asserted-by":"crossref","unstructured":"Bauer, A., Leucker, M., Schallhart, C.: Model-based runtime analysis of distributed reactive systems. In: Australian Software Engineering Conference, p. 10 (2006)","DOI":"10.1109\/ASWEC.2006.36"},{"key":"13_CR10","doi-asserted-by":"crossref","unstructured":"Sen, K., Vardhan, A., Agha, G., Rosu, G.: Efficient decentralized monitoring of safety in distributed systems. In: Proceedings of 26th International Conference on Software Engineering, pp. 418\u2013427 (2004)","DOI":"10.1109\/ICSE.2004.1317464"},{"key":"13_CR11","series-title":"Communications in Computer and Information Science","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-40180-5_19","volume-title":"Databases and Information Systems","author":"J Vain","year":"2016","unstructured":"Vain, J., Halling, E., Kanter, G., Anier, A., Pal, D.: Model-based testing of real-time distributed systems. In: Arnicans, G., Arnicane, V., Borzovs, J., Niedrite, L. (eds.) DB&IS 2016. CCIS, vol. 615. Springer, Cham (2016). https:\/\/doi.org\/10.1007\/978-3-319-40180-5_19"},{"issue":"7","key":"13_CR12","doi-asserted-by":"publisher","first-page":"1123","DOI":"10.1016\/j.infsof.2008.11.002","volume":"51","author":"RM Hierons","year":"2009","unstructured":"Hierons, R.M.: Using status messages in the distributed test architecture. Inf. Softw. Technol. 51(7), 1123\u20131130 (2009)","journal-title":"Inf. Softw. Technol."},{"key":"13_CR13","doi-asserted-by":"crossref","unstructured":"Vain, J., Kaaramees, M., Markvardt, M.: Online testing of nondeterministic systems with reactive planning tester. In: Dependability and Computer Engineering: Concepts for Software-Intensive Systems, pp. 113\u2013150. Hershey (2012)","DOI":"10.4018\/978-1-60960-747-0.ch007"},{"issue":"5","key":"13_CR14","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. Softw. Test. Verif. Reliab. 22(5), 297\u2013312 (2012)","journal-title":"Softw. Test. Verif. Reliab."},{"key":"13_CR15","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. Theor. Comput. Sci. 126, 183\u2013235 (1994)","journal-title":"Theor. Comput. Sci."},{"key":"13_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"87","DOI":"10.1007\/978-3-540-27755-2_3","volume-title":"Lectures on Concurrency and Petri Nets","author":"J Bengtsson","year":"2004","unstructured":"Bengtsson, J., Yi, W.: Timed automata: semantics, algorithms and tools. In: Desel, J., Reisig, W., Rozenberg, G. (eds.) ACPN 2003. LNCS, vol. 3098, pp. 87\u2013124. Springer, Heidelberg (2004). https:\/\/doi.org\/10.1007\/978-3-540-27755-2_3"},{"key":"13_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"200","DOI":"10.1007\/978-3-540-30080-9_7","volume-title":"Formal Methods for the Design of Real-Time Systems","author":"G Behrmann","year":"2004","unstructured":"Behrmann, G., David, A., Larsen, K.G.: A tutorial on Uppaal. In: Bernardo, M., Corradini, F. (eds.) SFM-RT 2004. LNCS, vol. 3185, pp. 200\u2013236. Springer, Heidelberg (2004). https:\/\/doi.org\/10.1007\/978-3-540-30080-9_7"},{"key":"13_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"109","DOI":"10.1007\/978-3-540-24732-6_8","volume-title":"Model Checking Software","author":"M Krichen","year":"2004","unstructured":"Krichen, M., Tripakis, S.: Black-box conformance testing for real-time systems. In: Graf, S., Mounier, L. (eds.) SPIN 2004. LNCS, vol. 2989, pp. 109\u2013126. Springer, Heidelberg (2004). https:\/\/doi.org\/10.1007\/978-3-540-24732-6_8"},{"key":"13_CR19","doi-asserted-by":"crossref","unstructured":"Mikucionis, M., Larsen, K.G., Nielsen, B.: T-uppaal: online model-based testing of realtime systems. In: 19th IEEE International Conference on Automated Software Engineering, pp. 396\u2013397. IEEE Computer Society (2004)","DOI":"10.1109\/ASE.2004.1342774"},{"issue":"3","key":"13_CR20","first-page":"103","volume":"17","author":"J Tretmans","year":"1996","unstructured":"Tretmans, J.: Test generation with inputs, outputs and repetitive quiescence. Softw. Concepts Tools 17(3), 103\u2013120 (1996)","journal-title":"Softw. Concepts Tools"},{"key":"13_CR21","doi-asserted-by":"publisher","first-page":"75","DOI":"10.3176\/proc.2017.1.08","volume":"66","author":"A Anier","year":"2017","unstructured":"Anier, A., Vain, J., Tsiopoulos, L.: DTRON: a tool for distributed model-based testing of time critical applications. Est. Acad. Sci. 66, 75\u201388 (2017)","journal-title":"Est. Acad. Sci."},{"key":"13_CR22","unstructured":"The spread toolkit. http:\/\/spread.org\/ . Accessed 24 Nov 2016"},{"key":"13_CR23","unstructured":"Saad-Bouzefrane, S., Kaiser, C.: How to manage replicated real-time databases in an overloaded distributed system. In: Real-Time Systems Conference (2003)"},{"key":"13_CR24","doi-asserted-by":"publisher","first-page":"767","DOI":"10.1016\/S0950-5849(99)00036-1","volume":"41","author":"L Cacciari","year":"1999","unstructured":"Cacciari, L., Rafiq, O.: Controllability and observability in distributed testing. Inf. Softw. Technol. 41, 767\u2013780 (1999)","journal-title":"Inf. Softw. Technol."},{"key":"13_CR25","doi-asserted-by":"publisher","first-page":"1085","DOI":"10.1109\/TSE.2002.1049406","volume":"28","author":"K Ahmed","year":"2002","unstructured":"Ahmed, K.: A temporal approach for testing distributed systems. IEEE Trans. Softw. Eng. 28, 1085\u20131103 (2002)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"13_CR26","doi-asserted-by":"publisher","first-page":"181","DOI":"10.1007\/s00446-014-0208-5","volume":"27","author":"M Hierons","year":"2014","unstructured":"Hierons, M., Merayo, G., N\u00fa\u00f1ez, M.: Timed implementation relations for the distributed test architecture. Distrib. Comput. 27, 181\u2013201 (2014)","journal-title":"Distrib. Comput."}],"container-title":["Communications in Computer and Information Science","Databases and Information Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-97571-9_13","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,10,22]],"date-time":"2019-10-22T08:41:14Z","timestamp":1571733674000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-97571-9_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018]]},"ISBN":["9783319975702","9783319975719"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-97571-9_13","relation":{},"ISSN":["1865-0929","1865-0937"],"issn-type":[{"type":"print","value":"1865-0929"},{"type":"electronic","value":"1865-0937"}],"subject":[],"published":{"date-parts":[[2018]]}}}