{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,25]],"date-time":"2025-03-25T22:31:32Z","timestamp":1742941892474,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540344544"},{"type":"electronic","value":"9783540344551"}],"license":[{"start":{"date-parts":[[2006,1,1]],"date-time":"2006-01-01T00:00:00Z","timestamp":1136073600000},"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":[[2006]]},"DOI":"10.1007\/11759744_4","type":"book-chapter","created":{"date-parts":[[2006,6,2]],"date-time":"2006-06-02T08:27:50Z","timestamp":1149236870000},"page":"47-61","source":"Crossref","is-referenced-by-count":1,"title":["A Note on an Anomaly in Black-Box Testing"],"prefix":"10.1007","author":[{"given":"Antti","family":"Huima","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"4_CR1","doi-asserted-by":"crossref","unstructured":"Alur, R., Courcoubetis, C., Yannakakis, M.: Distinguishing tests for nondeterministic and probabilistic machines. In: Proc. 27th ACM Symposium on Theory of Computing, pp. 363\u2013372 (1995)","DOI":"10.1145\/225058.225161"},{"key":"4_CR2","unstructured":"European Telecommunications Standards Institute (ETSI). The testing and test control notation version 3; part 1: TTCN-3 core language. ETSI ES 201 873-1, V2.2.1 (February 2003)"},{"issue":"8","key":"4_CR3","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\u2014a survey. Proceedings of the IEEE\u00a084(8), 1090\u20131123 (1996)","journal-title":"Proceedings of the IEEE"},{"issue":"2","key":"4_CR4","doi-asserted-by":"crossref","first-page":"149","DOI":"10.1109\/32.265636","volume":"SE-20","author":"G. Luo","year":"1994","unstructured":"Luo, G., von Bochmann, G., Petrenko, A.: Test selection based on communicating nondeterministic finite state machines using a generalized wp-method. IEEE Transactions on Software Engineering\u00a0SE-20(2), 149\u2013162 (1994)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"4_CR5","volume-title":"Microeconomic Theory","author":"A. Mas-Colell","year":"1995","unstructured":"Mas-Colell, A., Whinston, M.D., Green, J.R.: Microeconomic Theory. Oxford University Press, Oxford (1995)"},{"key":"4_CR6","volume-title":"Introduction to probability and statistics","author":"J.S. Milton","year":"1995","unstructured":"Milton, J.S., Arnold, J.C.: Introduction to probability and statistics. McGraw\u2013Hill, New York (1995)"},{"issue":"1","key":"4_CR7","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1145\/125489.125473","volume":"1","author":"A.J. Offutt","year":"1992","unstructured":"Offutt, A.J.: Investigations of the software testing coupling effect. ACM Transactions on Software Engineering and Methodology\u00a01(1), 5\u201320 (1992)","journal-title":"ACM Transactions on Software Engineering and Methodology"},{"issue":"5","key":"4_CR8","doi-asserted-by":"publisher","first-page":"337","DOI":"10.1109\/32.286422","volume":"20","author":"A.J. Offutt","year":"1994","unstructured":"Offutt, A.J., Lee, S.: An empirical evaluation of weak mutation. IEEE Transactions on Software Engineering\u00a020(5), 337\u2013344 (1994)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"4_CR9","volume-title":"Petri Net Theory and the Modeling of Systems","author":"J.L. Peterson","year":"1981","unstructured":"Peterson, J.L.: Petri Net Theory and the Modeling of Systems. Prentice Hall PTR, Englewood Cliffs (1981)"},{"key":"4_CR10","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":"4_CR11","doi-asserted-by":"crossref","unstructured":"Petrenko, A., Yevtushenko, N., Bochman, G.V.: Fault models for testing in context. In: FORTE 1996, pp. 163\u2013178 (1996)","DOI":"10.1007\/978-0-387-35079-0_10"},{"key":"4_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-44830-6_11","volume-title":"Testing of Communicating Systems","author":"A. Petrenko","year":"2003","unstructured":"Petrenko, A., Yevtushenko, N., Huo, J.L.: Testing transition systems with input and output tester. In: Hogrefe, D., Wiles, A. (eds.) TestCom 2003. LNCS, vol.\u00a02644, Springer, Heidelberg (2003)"},{"key":"4_CR13","doi-asserted-by":"publisher","first-page":"187","DOI":"10.1109\/CSD.2003.1207713","volume-title":"Proceeding of the 3rd International Conference on Application of Concurrency to System Design (ACSD 2003)","author":"T. Pyh\u00e4l\u00e4","year":"2003","unstructured":"Pyh\u00e4l\u00e4, T., Heljanko, K.: Specification coverage aided test selection. In: Lilius, J., Balarin, F., Machado, R.J. (eds.) Proceeding of the 3rd International Conference on Application of Concurrency to System Design (ACSD 2003), pp. 187\u2013195. IEEE Computer Society, Guimaraes, Portugal (2003)"},{"key":"4_CR14","doi-asserted-by":"crossref","unstructured":"Rimen, M., Ohlsson, J., Torin, J.: On microprocessor error behavior modeling. In: 24th IEEE International Symposium on Fault-Tolerant Computing (1994)","DOI":"10.1109\/FTCS.1994.315655"},{"key":"4_CR15","unstructured":"Tretmans, J.: A formal approach to conformance testing. In: Proc. 6th International Workshop on Protocols Test Systems, IFIP Transactions, vol.\u00a0C-19, pp. 257\u2013276 (1994)"},{"key":"4_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"86","DOI":"10.1007\/978-3-540-24617-6_7","volume-title":"Formal Approaches to Software Testing","author":"M. Bijl van der","year":"2004","unstructured":"van der Bijl, M., Rensink, A., Tretmans, J.: Compositional testing with IOCO. In: Petrenko, A., Ulrich, A. (eds.) FATES 2003. LNCS, vol.\u00a02931, pp. 86\u2013100. Springer, Heidelberg (2004)"},{"issue":"10","key":"4_CR17","doi-asserted-by":"publisher","first-page":"812","DOI":"10.1109\/32.328991","volume":"20","author":"J. Whittaker","year":"1994","unstructured":"Whittaker, J., Thomason, M.: A markov chain model for statistical software testing. IEEE Transactions on Software Engineering\u00a020(10), 812\u2013824 (1994)","journal-title":"IEEE Transactions on Software Engineering"}],"container-title":["Lecture Notes in Computer Science","Formal Approaches to Software Testing"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11759744_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,11]],"date-time":"2019-03-11T22:10:15Z","timestamp":1552342215000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11759744_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540344544","9783540344551"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/11759744_4","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}