乐胖代购免代理版

{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T19:57:36Z","timestamp":1725911856750},"publisher-location":"Cham","reference-count":26,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319682693"},{"type":"electronic","value":"9783319682709"}],"license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017]]},"DOI":"10.1007\/978-3-319-68270-9_8","type":"book-chapter","created":{"date-parts":[[2017,9,26]],"date-time":"2017-09-26T11:17:19Z","timestamp":1506424639000},"page":"145-165","source":"Crossref","is-referenced-by-count":0,"title":["Diagnosis and Testing: How is Their Relation? Can They Be Combined?"],"prefix":"10.1007","author":[{"given":"Laura","family":"Brand\u00e1n Briones","sequence":"first","affiliation":[]},{"given":"Agnes","family":"Madalinski","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2017,9,27]]},"reference":[{"issue":"2","key":"8_CR1","doi-asserted-by":"crossref","first-page":"105","DOI":"10.1109\/87.486338","volume":"4","author":"M Sampath","year":"1996","unstructured":"Sampath, M., Sengupta, R., Lafortune, S., Sinnamohideen, K.: Failure diagnosis using discrete-event models. IEEE Trans. Control Syst. Technol. 4(2), 105\u2013124 (1996)","journal-title":"IEEE Trans. Control Syst. Technol."},{"issue":"9","key":"8_CR2","doi-asserted-by":"crossref","first-page":"1555","DOI":"10.1109\/9.412626","volume":"40","author":"M Sampath","year":"1995","unstructured":"Sampath, M., Sengupta, R., Lafortune, S., Sinnamohideen, K., Teneketzis, D.: Diagnosability of discrete events systems. IEEE Trans. Autom. Control 40(9), 1555\u20131575 (1995)","journal-title":"IEEE Trans. Autom. Control"},{"key":"8_CR3","doi-asserted-by":"crossref","first-page":"83","DOI":"10.1016\/0304-3975(84)90113-0","volume":"34","author":"R Nicola De","year":"1984","unstructured":"De Nicola, R., Hennessy, M.C.B.: Testing equivalences for processes. Theoret. Comput. Sci. 34, 83\u2013133 (1984)","journal-title":"Theoret. Comput. Sci."},{"unstructured":"Ye, L., Dague, P., Longuet, D., Brand\u00e1n Briones, L., Madalinski, A.: Fault manifestability verification for discrete event systems. In: ECAI 2016, pp. 1718\u20131719 (2016)","key":"8_CR4"},{"unstructured":"Tretmans, J.: Test generation with inputs, outputs and repetitive quiescence. In: TR-CTIT-96-26, CTIT Technical Report Series. Centre for Telematics and Information Technology (CTIT), University of Twente, Enschede, The Netherlands (1996)","key":"8_CR5"},{"issue":"4","key":"8_CR6","first-page":"1","volume":"5","author":"S Salva","year":"2011","unstructured":"Salva, S.: Passive testing with proxy-testers. Int. J. Softw. Eng. Appl. 5(4), 1\u201316 (2011)","journal-title":"Int. J. Softw. Eng. Appl."},{"key":"8_CR7","doi-asserted-by":"crossref","first-page":"1318","DOI":"10.1109\/9.940942","volume":"46","author":"S Jiang","year":"2000","unstructured":"Jiang, S., Huang, Z., Chandra, V., Kumar, R.: A polynomial algorithm for testing diagnosability of discrete event systems. IEEE Trans. Autom. Control 46, 1318\u20131321 (2000)","journal-title":"IEEE Trans. Autom. Control"},{"issue":"9","key":"8_CR8","doi-asserted-by":"crossref","first-page":"1491","DOI":"10.1109\/TAC.2002.802763","volume":"47","author":"Y Tae-Sic","year":"2002","unstructured":"Tae-Sic, Y., Lafortune, S.: Polynomial-time verification of diagnosability of partially observed discrete-event systems. IEEE Trans. Autom. Control 47(9), 1491\u20131495 (2002)","journal-title":"IEEE Trans. Autom. Control"},{"key":"8_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"219","DOI":"10.1007\/978-3-540-31982-5_14","volume-title":"Foundations of Software Science and Computational Structures","author":"P Bouyer","year":"2005","unstructured":"Bouyer, P., Chevalier, F., D\u2019Souza, D.: Fault diagnosis using timed automata. In: Sassone, V. (ed.) FoSSaCS 2005. LNCS, vol. 3441, pp. 219\u2013233. Springer, Heidelberg (2005). doi: 10.1007\/978-3-540-31982-5_14"},{"issue":"6","key":"8_CR10","doi-asserted-by":"crossref","first-page":"950","DOI":"10.1109\/TCST.2004.833606","volume":"12","author":"A Barigozzi","year":"2004","unstructured":"Barigozzi, A., Magni, L., Scattolini, R.: A probabilistic approach to fault diagnosis of industrial systems. IEEE Trans. Control Syst. Technol. 12(6), 950\u2013955 (2004)","journal-title":"IEEE Trans. Control Syst. Technol."},{"issue":"1","key":"8_CR11","doi-asserted-by":"crossref","first-page":"33","DOI":"10.1007\/s10626-005-5238-5","volume":"15","author":"E Fabre","year":"2005","unstructured":"Fabre, E., Benveniste, A., Haar, S., Jard, C.: Distributed monitoring of concurrent and asynchronous systems*. Discrete Event Dyn. Syst. 15(1), 33\u201384 (2005)","journal-title":"Discrete Event Dyn. Syst."},{"issue":"2","key":"8_CR12","doi-asserted-by":"crossref","first-page":"206","DOI":"10.1109\/TASE.2006.879916","volume":"4","author":"S Genc","year":"2007","unstructured":"Genc, S., Lafortune, S.: Distributed diagnosis of place-bordered Petri nets. IEEE Trans. Autom. Sci. Eng. 4(2), 206\u2013219 (2007)","journal-title":"IEEE Trans. Autom. Sci. Eng."},{"doi-asserted-by":"crossref","unstructured":"Madalinski, A., Khomenko, V.: Diagnosability verification with parallel LTL-X model checking based on Petri net unfoldings. In: 2010 Conference on Control and Fault-Tolerant Systems (SysTol), pp. 398\u2013403. October 2010","key":"8_CR13","DOI":"10.1109\/SYSTOL.2010.5676089"},{"unstructured":"Brand\u00e1n Briones, L., Madalinski, A. Ponce de Le\u00f3n, H.: Distributed diagnosability analysis with Petri nets. CoRR, abs\/1502.07744 (2015)","key":"8_CR14"},{"issue":"1\u20132","key":"8_CR15","doi-asserted-by":"crossref","first-page":"121","DOI":"10.1016\/j.artint.2005.01.002","volume":"164","author":"Y Pencol\u00e9","year":"2005","unstructured":"Pencol\u00e9, Y., Cordier, M.-O.: A formal framework for the decentralised diagnosis of large scale discrete event systems and its application to telecommunication networks. Artif. Intell. 164(1\u20132), 121\u2013170 (2005)","journal-title":"Artif. Intell."},{"unstructured":"Schumann, A., Pencol\u00e9, Y., Thi\u00e9baux, S.: A decentralised symbolic diagnosis approach. In: Proceedings of 19th European Conference on Artificial Intelligence, ECAI 2010, Lisbon, Portugal, 16\u201320 August 2010, pp. 99\u2013104 (2010)","key":"8_CR16"},{"issue":"2","key":"8_CR17","doi-asserted-by":"crossref","first-page":"308","DOI":"10.1016\/j.arcontrol.2013.09.009","volume":"37","author":"J Zaytoon","year":"2013","unstructured":"Zaytoon, J., Lafortune, S.: Overview of fault diagnosis methods for discrete event systems. Annu. Rev. Control 37(2), 308\u2013320 (2013)","journal-title":"Annu. Rev. Control"},{"unstructured":"Tretmans, J., Brinksma, E.: TorX: automated model-based testing. In: Hartman, A., Dussa-Ziegler, V. (eds.) First European Conference on Model-Driven Software Engineering, pp. 31\u201343, December 2003","key":"8_CR18"},{"key":"8_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"64","DOI":"10.1007\/978-3-540-31848-4_5","volume-title":"Formal Approaches to Software Testing","author":"LB Briones","year":"2005","unstructured":"Briones, L.B., Brinksma, E.: A test generation framework for quiescent real-time systems. In: Grabowski, J., Nielsen, B. (eds.) FATES 2004. LNCS, vol. 3395, pp. 64\u201378. Springer, Heidelberg (2005). doi: 10.1007\/978-3-540-31848-4_5"},{"key":"8_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"39","DOI":"10.1007\/978-3-540-78917-8_2","volume-title":"Formal Methods and Testing","author":"M Veanes","year":"2008","unstructured":"Veanes, M., Campbell, C., Grieskamp, W., Schulte, W., Tillmann, N., Nachmanson, L.: Model-based testing of object-oriented reactive systems with spec explorer. In: Hierons, R.M., Bowen, J.P., Harman, M. (eds.) Formal Methods and Testing. LNCS, vol. 4949, pp. 39\u201376. Springer, Heidelberg (2008). doi: 10.1007\/978-3-540-78917-8_2"},{"doi-asserted-by":"crossref","unstructured":"Belinfante, A., Frantzen, L., Schallhart, C.: Tools for test case generation. In: Model-Based Testing of Reactive Systems, pp. 391\u2013438 (2004)","key":"8_CR21","DOI":"10.1007\/11498490_18"},{"key":"8_CR22","doi-asserted-by":"crossref","first-page":"297","DOI":"10.1007\/s10009-004-0153-x","volume":"7","author":"C Jard","year":"2005","unstructured":"Jard, C., J\u00e9ron, T.: TGV: theory, principles and algorithms: a tool for the automatic synthesis of conformance test cases for non- deterministic reactive systems. Int. J. Softw. Tools Technol. Transf. 7, 297\u2013315 (2005)","journal-title":"Int. J. Softw. Tools Technol. Transf."},{"key":"8_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"399","DOI":"10.1007\/11901914_30","volume-title":"Automated Technology for Verification and Analysis","author":"LB Briones","year":"2006","unstructured":"Briones, L.B., Brinksma, E., Stoelinga, M.: A semantic framework for test coverage. In: Graf, S., Zhang, W. (eds.) ATVA 2006. LNCS, vol. 4218, pp. 399\u2013414. Springer, Heidelberg (2006). doi: 10.1007\/11901914_30"},{"key":"8_CR24","series-title":"Studies in Computational Intelligence","doi-asserted-by":"publisher","first-page":"99","DOI":"10.1007\/978-3-319-00948-3_7","volume-title":"Software Engineering Research, Management and Applications","author":"S Salva","year":"2014","unstructured":"Salva, S., Cao, T.D.: A model-based testing approach combining passive conformance testing and runtime verification application to web service compositions deployed in clouds. In: Lee, R. (ed.) Software Engineering Research, Management and Applications. SCI, vol. 496, pp. 99\u2013116. Springer, Heidelberg (2014). doi: 10.1007\/978-3-319-00948-3_7"},{"doi-asserted-by":"crossref","unstructured":"Sheppard, J.W., Kaufman, M.: Formal specification of testability metrics in IEEE P1522. In: IEEE AUTOTESTCON, Pennsylvania (2001)","key":"8_CR25","DOI":"10.1109\/AUTEST.2001.948921"},{"issue":"5","key":"8_CR26","first-page":"600","volume":"29","author":"J Kontoleon","year":"1980","unstructured":"Kontoleon, J.: Reliability determination of r-successive-out-of-n: F system. Trans. Reliab. 29(5), 600\u2013602 (1980). IEEE","journal-title":"Trans. Reliab."}],"container-title":["Lecture Notes in Computer Science","ModelEd, TestEd, TrustEd"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-68270-9_8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,10,3]],"date-time":"2019-10-03T23:51:38Z","timestamp":1570146698000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-68270-9_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319682693","9783319682709"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-68270-9_8","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2017]]}}}