{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,4]],"date-time":"2026-07-04T17:06:50Z","timestamp":1783184810550,"version":"3.54.6"},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540344544","type":"print"},{"value":"9783540344551","type":"electronic"}],"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_13","type":"book-chapter","created":{"date-parts":[[2006,6,2]],"date-time":"2006-06-02T08:27:50Z","timestamp":1149236870000},"page":"187-202","source":"Crossref","is-referenced-by-count":10,"title":["Automated Generation of Positive and Negative Tests for Parsers"],"prefix":"10.1007","author":[{"given":"Sergey","family":"Zelenov","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Sophia","family":"Zelenova","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","reference":[{"key":"13_CR1","volume-title":"Compilers: Principles, Techniques, and Tools","author":"A.V. Aho","year":"1986","unstructured":"Aho, A.V., Sethi, R., Ullman, J.D.: Compilers: Principles, Techniques, and Tools. Addison-Wesley, Reading (1986)"},{"key":"13_CR2","unstructured":"Beizer, B.: Software Testing Techniques. van Nostrand Reinhold (1990)"},{"key":"13_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"301","DOI":"10.1007\/3-540-45575-2_30","volume-title":"Perspectives of System Informatics","author":"I.B. Bourdonov","year":"2001","unstructured":"Bourdonov, I.B., Demakov, A.V., Jarov, A.A., Kossatchev, A.S., Kuliamin, V.V., Petrenko, A.K., Zelenov, S.V.: Java Specification Extension for Automated Test Development. In: Bj\u00f8rner, D., Broy, M., Zamulin, A.V. (eds.) PSI 2001. LNCS, vol.\u00a02244, pp. 301\u2013307. Springer, Heidelberg (2001)"},{"key":"13_CR4","first-page":"150","volume":"2","author":"A.V. Demakov","year":"2001","unstructured":"Demakov, A.V., Zelenova, S.A., Zelenov, S.V.: Testing of Parsers of Texts in Formal Languages. Programming Systems and Tools (in Russian)\u00a02, 150\u2013156 (2001)","journal-title":"Programming Systems and Tools"},{"issue":"9","key":"13_CR5","doi-asserted-by":"publisher","first-page":"900","DOI":"10.1109\/32.92910","volume":"17","author":"R.A. DeMillo","year":"1991","unstructured":"DeMillo, R.A., Offut, A.J.: Constraint-Based Automatic Test Data Generation. IEEE Transactions on Software Engineering\u00a017(9), 900\u2013910 (1991)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"13_CR6","unstructured":"Guilmette, R.F.: TGGS: A flexible system for generating efficient test case generators (1999)"},{"key":"13_CR7","unstructured":"Harm, J., L\u00e4mmel, R.: Two-dimensional Approximation Coverage. Informatica Journal\u00a024(3) (2000)"},{"key":"13_CR8","unstructured":"Kossatchev, A.S., Petrenko, A.K., Zelenov, S.V., Zelenova, S.A.: Application of Model-Based Approach for Automated Testing of Optimizing Compilers. In: Proceedings of the International Workshop on Program Understanding, Novosibirsk, pp. 81\u201388 (2003)"},{"key":"13_CR9","doi-asserted-by":"crossref","unstructured":"L\u00e4mmel, R.: Grammar testing. In: Proc. of Fundamental Approaches Software Engineering, vol.\u00a02029, pp. 201\u2013216 (2001)","DOI":"10.1007\/3-540-45314-8_15"},{"key":"13_CR10","doi-asserted-by":"crossref","unstructured":"Maurer, P.M.: Generating test data with enhanced context-free grammars. IEEE Software, 50\u201355 (1990)","DOI":"10.1109\/52.56422"},{"issue":"3","key":"13_CR11","doi-asserted-by":"publisher","first-page":"223","DOI":"10.1002\/spe.4380220303","volume":"22","author":"P.M. Maurer","year":"1992","unstructured":"Maurer, P.M.: The design and implementation of a grammar-based data generator. Software Practice and Experience\u00a022(3), 223\u2013244 (1992)","journal-title":"Software Practice and Experience"},{"issue":"1","key":"13_CR12","first-page":"100","volume":"10","author":"W. McKeeman","year":"1998","unstructured":"McKeeman, W.: Differential testing for software. Digital Technical Journal\u00a010(1), 100\u2013107 (1998)","journal-title":"Digital Technical Journal"},{"issue":"5","key":"13_CR13","doi-asserted-by":"publisher","first-page":"337","DOI":"10.1109\/32.286422","volume":"20","author":"A.J. Offut","year":"1994","unstructured":"Offut, A.J., Lee, S.D.: An Empirical Evaluation of Weak Mutation. IEEE Transactions on Software Engineering\u00a020(5), 337\u2013344 (1994)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"13_CR14","doi-asserted-by":"crossref","unstructured":"Offut, A.J., Untch, R.H.: Mutation 2000: Uniting the Orthogonal. In: Mutation 2000: Mutation Testing in the Twentieth and the Twenty First Centuries, San Jose, CA, pp. 45\u201355 (2000)","DOI":"10.1007\/978-1-4757-5939-6_7"},{"key":"13_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"287","DOI":"10.1007\/3-540-45575-2_29","volume-title":"Perspectives of System Informatics","author":"A.K. Petrenko","year":"2001","unstructured":"Petrenko, A.K.: Specification Based Testing: Towards Practice. In: Bj\u00f8rner, D., Broy, M., Zamulin, A.V. (eds.) PSI 2001. LNCS, vol.\u00a02244, pp. 287\u2013300. Springer, Heidelberg (2001)"},{"key":"13_CR16","unstructured":"Petrenko, A.K., et al.: Compiler Testing Based on the Formal Model of the Language. The Keldysh Institute of Applied Mathematics (in Russian)\u00a045 (1992) (preprint )"},{"key":"13_CR17","first-page":"336","volume":"2","author":"P. Purdom","year":"1972","unstructured":"Purdom, P.: A Sentence Generator For Testing Parsers. BIT\u00a02, 336\u2013375 (1972)","journal-title":"BIT"},{"issue":"3","key":"13_CR18","doi-asserted-by":"publisher","first-page":"104","DOI":"10.1023\/A:1022904917707","volume":"29","author":"S.V. Zelenov","year":"2003","unstructured":"Zelenov, S.V., Zelenova, S.A., Kossatchev, A.S., Petrenko, A.K.: Test Generation for Compilers and Other Formal Text Processors. Programming and Computer Software\u00a029(3), 104\u2013111 (2003)","journal-title":"Programming and Computer Software"},{"key":"13_CR19","unstructured":"GCC, http:\/\/gcc.gnu.org\/"},{"key":"13_CR20","unstructured":"CTesK, http:\/\/unitesk.com\/products\/ctesk\/"},{"key":"13_CR21","unstructured":"The mpC Programming Language Specification. The Institute for System Programming of Russian Academy of Science, http:\/\/www.ispras.ru\/~mpc"}],"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_13","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,19]],"date-time":"2019-04-19T00:28:08Z","timestamp":1555633688000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11759744_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540344544","9783540344551"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/11759744_13","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2006]]}}}