{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,11]],"date-time":"2025-10-11T17:08:53Z","timestamp":1760202533810},"publisher-location":"Berlin, Heidelberg","reference-count":10,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540424703"},{"type":"electronic","value":"9783540446668"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2001]]},"DOI":"10.1007\/3-540-44666-4_29","type":"book-chapter","created":{"date-parts":[[2007,5,3]],"date-time":"2007-05-03T12:58:07Z","timestamp":1178197087000},"page":"261-272","source":"Crossref","is-referenced-by-count":4,"title":["Testing Parenthesis Languages"],"prefix":"10.1007","author":[{"given":"Michal","family":"Parnas","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Dana","family":"Ron","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ronitt","family":"Rubinfeld","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2001,8,17]]},"reference":[{"key":"29_CR1","doi-asserted-by":"crossref","unstructured":"N. Alon, M. Krivelevich, I. Newman, and M Szegedy. Regular languages are testable with a constant number of queries. In Proceedings of the Fortieth Annual Symposium on Foundations of Computer Science, pages 656\u2013666, 1999.","DOI":"10.1109\/SFFCS.1999.814641"},{"issue":"4","key":"29_CR2","doi-asserted-by":"publisher","first-page":"653","DOI":"10.1145\/285055.285060","volume":"45","author":"O. Goldreich","year":"1998","unstructured":"O. Goldreich, S. Goldwasser, and D. Ron. Property testing and its connection to learning and approximation. JACM, 45(4):653\u2013750, 1998.","journal-title":"JACM"},{"key":"29_CR3","unstructured":"M. Harrison. Introduction to formal language theory. Addison-Wesley, 1978."},{"issue":"2","key":"29_CR4","doi-asserted-by":"publisher","first-page":"323","DOI":"10.1137\/0206024","volume":"6","author":"D. E. Knuth","year":"1977","unstructured":"D. E. Knuth, J. H. Morris, and V. R. Pratt. Fast pattern matching in strings. SIAM Journal on Computing, 6(2):323\u2013350, 1977.","journal-title":"SIAM Journal on Computing"},{"key":"29_CR5","doi-asserted-by":"crossref","unstructured":"D. Kozen. Automata and Computability. Springer Verlag, 1997.","DOI":"10.1007\/978-1-4612-1844-9"},{"key":"29_CR6","doi-asserted-by":"crossref","unstructured":"I. Newman. Testing of functions that have small width branching programs. In Proceedings of the Forty-First Annual Symposium on Foundations of Computer Science, pages 251\u2013258, 2000.","DOI":"10.1109\/SFCS.2000.892112"},{"key":"29_CR7","doi-asserted-by":"crossref","unstructured":"M. Parnas, D. Ron, and R. Rubinfeld. Testing parenthesis languages. Available from: http:\/\/www.eng.tau.ac.il\/~danar , 2001.","DOI":"10.1007\/3-540-44666-4_29"},{"key":"29_CR8","doi-asserted-by":"crossref","unstructured":"D. Ron. Property testing. To appear in the Handbook on Randomization. Currently available from: http:\/\/www.eng.tau.ac.il\/~danar , 2000.","DOI":"10.1007\/978-1-4615-0013-1_15"},{"key":"29_CR9","doi-asserted-by":"publisher","first-page":"252","DOI":"10.1137\/S0097539793255151","volume":"252","author":"R. Rubinfeld","year":"1996","unstructured":"R. Rubinfeld and M. Sudan. Robust characterization of polynomials with applications to program testing. SIAM Journal on Computing, 25(2):252\u2013271, 1996.","journal-title":"SIAM Journal on Computing"},{"key":"29_CR10","doi-asserted-by":"crossref","unstructured":"N. Chomsky M. P. Schotzenberger. The algebraic theory of context-free languages. In Computer Programming and Formal Languages, P. Braffort and D. Hirschberg, Eds, North Holland, pages 118\u2013161, 1963.","DOI":"10.1016\/S0049-237X(08)72023-8"}],"container-title":["Lecture Notes in Computer Science","Approximation, Randomization, and Combinatorial Optimization: Algorithms and Techniques"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-44666-4_29","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,27]],"date-time":"2019-04-27T13:26:21Z","timestamp":1556371581000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-44666-4_29"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001]]},"ISBN":["9783540424703","9783540446668"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/3-540-44666-4_29","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2001]]}}}