{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T10:56:11Z","timestamp":1725533771176},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642307928"},{"type":"electronic","value":"9783642307935"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-30793-5_7","type":"book-chapter","created":{"date-parts":[[2012,6,8]],"date-time":"2012-06-08T07:34:33Z","timestamp":1339140873000},"page":"101-117","source":"Crossref","is-referenced-by-count":1,"title":["Conformance Testing of Boolean Programs with Multiple Faults"],"prefix":"10.1007","author":[{"given":"Pavithra","family":"Prabhakar","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mahesh","family":"Viswanathan","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"4","key":"7_CR1","doi-asserted-by":"publisher","first-page":"786","DOI":"10.1145\/1075382.1075387","volume":"27","author":"R. Alur","year":"2005","unstructured":"Alur, R., Benedikt, M., Etessami, K., Godefroid, P., Reps, T., Yannakakis, M.: Analysis of Recursive State Machines. ACM Transactions on Programming Languages and Systems\u00a027(4), 786\u2013818 (2005)","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"7_CR2","doi-asserted-by":"crossref","unstructured":"Alur, R., Madhusudan, P.: Visibly pushdown languages. In: Proceedings of the ACM Symposium on Theory of Computation, pp. 202\u2013211 (2004)","DOI":"10.1145\/1007352.1007390"},{"key":"7_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"175","DOI":"10.1007\/978-3-540-31984-9_14","volume-title":"Fundamental Approaches to Software Engineering","author":"T. Berg","year":"2005","unstructured":"Berg, T., Grinchtein, O., Jonsson, B., Leucker, M., Raffelt, H., Steffen, B.: On the Correspondence Between Conformance Testing and Regular Inference. In: Cerioli, M. (ed.) FASE 2005. LNCS, vol.\u00a03442, pp. 175\u2013189. Springer, Heidelberg (2005)"},{"key":"7_CR4","unstructured":"Friedman, A., Menon, P.: Fault Detection in Digital Circuits. Prentice Hall (1971)"},{"issue":"5","key":"7_CR5","doi-asserted-by":"publisher","first-page":"729","DOI":"10.1093\/jigpal\/jzl007","volume":"14","author":"A. Groce","year":"2006","unstructured":"Groce, A., Peled, D., Yannakakis, M.: Adaptive model checking. Logic Journal of the IGPL\u00a014(5), 729\u2013744 (2006)","journal-title":"Logic Journal of the IGPL"},{"key":"7_CR6","unstructured":"Kohavi, Z.: Switching and Finite Automata Theory. McGraw Hill (1978)"},{"key":"7_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"203","DOI":"10.1007\/11817949_14","volume-title":"CONCUR 2006 \u2013 Concurrency Theory","author":"V. Kumar","year":"2006","unstructured":"Kumar, V., Madhusudan, P., Viswanathan, M.: Minimization, Learning, and Conformance Testing of Boolean Programs. In: Baier, C., Hermanns, H. (eds.) CONCUR 2006. LNCS, vol.\u00a04137, pp. 203\u2013217. Springer, Heidelberg (2006)"},{"key":"7_CR8","unstructured":"Kumar, V., Viswanathan, M.: Conformance testing in the presence of multiple faults. In: Proceedings of the ACM-SIAM Symposium on Discrete Algorithms, pp. 1136\u20131145 (2005)"},{"key":"7_CR9","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, 1090\u20131126 (1996)","journal-title":"Proceedings of the IEEE"},{"key":"7_CR10","unstructured":"Linn, R., \u00dcyar, M. (eds.): Conformance Testing methodologies and architechtures for OSI protocols. IEEE Computer Society Press (1995)"},{"key":"7_CR11","first-page":"129","volume":"34","author":"E.F. Moore","year":"1956","unstructured":"Moore, E.F.: Gedanken-experiments on sequential machines. Automata Studies, Annals of Mathematics Studies\u00a034, 129\u2013153 (1956)","journal-title":"Automata Studies, Annals of Mathematics Studies"},{"issue":"2","key":"7_CR12","first-page":"225","volume":"7","author":"D. Peled","year":"2002","unstructured":"Peled, D., Vardi, M., Yannakakis, M.: Black Box Checking. Journal of Automata, Languages, and Combinatorics\u00a07(2), 225\u2013246 (2002)","journal-title":"Journal of Automata, Languages, and Combinatorics"},{"key":"7_CR13","unstructured":"Tretmans, J.: A formal approach to conformance testing. In: Protocol Test Systems. IFIP Transactions, vol.\u00a0C-19, pp. 257\u2013276 (1994)"},{"key":"7_CR14","first-page":"98","volume":"4","author":"M.P. Vasilevskii","year":"1973","unstructured":"Vasilevskii, M.P.: Fault diagnosis of automata. Kibernetika\u00a04, 98\u2013108 (1973)","journal-title":"Kibernetika"}],"container-title":["Lecture Notes in Computer Science","Formal Techniques for Distributed Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-30793-5_7.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,4]],"date-time":"2021-05-04T07:30:53Z","timestamp":1620113453000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-30793-5_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642307928","9783642307935"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-30793-5_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}