{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T14:00:02Z","timestamp":1725544802024},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540341840"},{"type":"electronic","value":"9783540341857"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11754008_3","type":"book-chapter","created":{"date-parts":[[2006,4,26]],"date-time":"2006-04-26T17:22:40Z","timestamp":1146072160000},"page":"39-54","source":"Crossref","is-referenced-by-count":6,"title":["A Logic for Assessing Sets of Heterogeneous Testing Hypotheses"],"prefix":"10.1007","author":[{"given":"Ismael","family":"Rodr\u00edguez","sequence":"first","affiliation":[]},{"given":"Mercedes G.","family":"Merayo","sequence":"additional","affiliation":[]},{"given":"Manuel","family":"N\u00fa\u00f1ez","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"2","key":"3_CR1","doi-asserted-by":"publisher","first-page":"247","DOI":"10.1016\/j.comnet.2004.09.009","volume":"48","author":"E. Bayse","year":"2005","unstructured":"Bayse, E., Cavalli, A., N\u00fa\u00f1ez, M., Za\u00efdi, F.: A passive testing approach based on invariants: Application to the WAP. Computer Networks\u00a048(2), 247\u2013266 (2005)","journal-title":"Computer Networks"},{"key":"3_CR2","doi-asserted-by":"publisher","first-page":"7","DOI":"10.1016\/0169-7552(91)90079-R","volume":"22","author":"B.S. Bosik","year":"1991","unstructured":"Bosik, B.S., Uyar, M.U.: Finite state machine based formal methods in protocol conformance testing. Computer Networks & ISDN Systems\u00a022, 7\u201333 (1991)","journal-title":"Computer Networks & ISDN Systems"},{"key":"3_CR3","doi-asserted-by":"publisher","first-page":"837","DOI":"10.1016\/S0950-5849(03)00063-6","volume":"45","author":"A. Cavalli","year":"2003","unstructured":"Cavalli, A., Gervy, C., Prokopenko, S.: New approaches for passive testing using an extended finite state machine specification. Journal of Information and Software Technology\u00a045, 837\u2013852 (2003)","journal-title":"Journal of Information and Software Technology"},{"key":"3_CR4","volume-title":"Model Checking","author":"E.M. Clarke","year":"1999","unstructured":"Clarke, E.M., Grumberg, O., Peled, D.: Model Checking. MIT Press, Cambridge (1999)"},{"key":"3_CR5","unstructured":"Eleftherakis, G., Kefalas, P.: Towards model checking of finite state machines extended with memory through refinement. In: Advances in Signal Processing and Computer Technologies, pp. 321\u2013326. World Scientific and Engineering Society Press (2001)"},{"issue":"4","key":"3_CR6","doi-asserted-by":"publisher","first-page":"427","DOI":"10.1145\/606612.606615","volume":"11","author":"R. Hierons","year":"2002","unstructured":"Hierons, R.: Comparing test sets and criteria in the presence of test hypotheses and fault domains. ACM Transactions on Software Engineering and Methodology\u00a011(4), 427\u2013448 (2002)","journal-title":"ACM Transactions on Software Engineering and Methodology"},{"key":"3_CR7","doi-asserted-by":"publisher","first-page":"122","DOI":"10.1109\/ICNP.2002.1181393","volume-title":"10th IEEE Int. Conf. on Network Protocols, ICNP 2002","author":"D. Lee","year":"2002","unstructured":"Lee, D., Chen, D., Hao, R., Miller, R., Wu, J., Yin, X.: A formal approach for passive testing of protocol data portions. In: 10th IEEE Int. Conf. on Network Protocols, ICNP 2002, pp. 122\u2013131. IEEE Computer Society Press, Los Alamitos (2002)"},{"issue":"8","key":"3_CR8","doi-asserted-by":"publisher","first-page":"1090","DOI":"10.1109\/5.533956","volume":"84","author":"D. Lee","year":"1996","unstructured":"Lee, D., Yannakakis, M.: Principles and methods of testing finite state machines: A survey. Proceedings of the IEEE\u00a084(8), 1090\u20131123 (1996)","journal-title":"Proceedings of the IEEE"},{"key":"3_CR9","doi-asserted-by":"publisher","first-page":"288","DOI":"10.1007\/978-0-387-35198-8_18","volume-title":"10th Workshop on Testing of Communicating Systems","author":"L.P. Lima","year":"1997","unstructured":"Lima, L.P., Cavalli, A.: A pragmatic approach to generating tests sequences for embedded systems. In: 10th Workshop on Testing of Communicating Systems, pp. 288\u2013307. Chapman & Hall, Boca Raton (1997)"},{"key":"3_CR10","doi-asserted-by":"publisher","first-page":"868","DOI":"10.1109\/32.6165","volume":"14","author":"S.C. Ntafos","year":"1988","unstructured":"Ntafos, S.C.: A comparison of some structural testing strategies. IEEE Transactions on Software Engineering\u00a014, 868\u2013874 (1988)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"3_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/3-540-36135-9_1","volume-title":"Formal Techniques for Networked and Distributed Systems - FORTE 2002","author":"M. N\u00fa\u00f1ez","year":"2002","unstructured":"N\u00fa\u00f1ez, M., Rodr\u00edguez, I.: Encoding PAMR into (timed) EFSMs. In: Peled, D.A., Vardi, M.Y. (eds.) FORTE 2002. LNCS, vol.\u00a02529, pp. 1\u201316. Springer, Heidelberg (2002)"},{"key":"3_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"196","DOI":"10.1007\/3-540-45510-8_10","volume-title":"Modeling and Verification of Parallel Processes","author":"A. Petrenko","year":"2001","unstructured":"Petrenko, A.: Fault model-driven test derivation from finite state models: Annotated bibliography. In: Cassez, F., Jard, C., Rozoy, B., Dermot, M. (eds.) MOVEP 2000. LNCS, vol.\u00a02067, pp. 196\u2013205. Springer, Heidelberg (2001)"},{"key":"3_CR13","doi-asserted-by":"publisher","first-page":"125","DOI":"10.1007\/978-0-387-35062-2_10","volume-title":"9th Workshop on Testing of Communicating Systems","author":"A. Petrenko","year":"1996","unstructured":"Petrenko, A., Yevtushenko, N., von Bochmann, G.: Testing deterministic implementations from their nondeterministic specifications. In: 9th Workshop on Testing of Communicating Systems, pp. 125\u2013140. Chapman & Hall, Boca Raton (1996)"},{"key":"3_CR14","doi-asserted-by":"crossref","unstructured":"Rodr\u00edguez, I., Merayo, M.G., N\u00fa\u00f1ez, M.: A logic for assessing sets of heterogeneous testing hypotheses: Extended version (2006), Available at: http:\/\/dalila.sip.ucm.es\/~manolo\/papers\/logic-extended.pdf","DOI":"10.1007\/11754008_3"},{"issue":"3","key":"3_CR15","first-page":"103","volume":"17","author":"J. Tretmans","year":"1996","unstructured":"Tretmans, J.: Test generation with inputs, outputs and repetitive quiescence. Software \u2013 Concepts and Tools\u00a017(3), 103\u2013120 (1996)","journal-title":"Software \u2013 Concepts and Tools"}],"container-title":["Lecture Notes in Computer Science","Testing of Communicating Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11754008_3.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T07:04:05Z","timestamp":1619507045000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11754008_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540341840","9783540341857"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/11754008_3","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}