{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,14]],"date-time":"2026-01-14T00:19:57Z","timestamp":1768349997465,"version":"3.49.0"},"publisher-location":"Berlin, Heidelberg","reference-count":31,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540341840","type":"print"},{"value":"9783540341857","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11754008_2","type":"book-chapter","created":{"date-parts":[[2006,4,26]],"date-time":"2006-04-26T17:22:40Z","timestamp":1146072160000},"page":"19-38","source":"Crossref","is-referenced-by-count":63,"title":["Controllable Combinatorial Coverage in Grammar-Based Testing"],"prefix":"10.1007","author":[{"given":"Ralf","family":"L\u00e4mmel","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Wolfram","family":"Schulte","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"2_CR1","unstructured":"Andoni, A., Daniliuc, D., Khurshid, S., Marinov, D.: Evaluating the Small Scope Hypothesis (unpublished, September 2002), Available at: \n                    \n                      http:\/\/sdg.lcs.mit.edu\/publications.html"},{"issue":"6","key":"2_CR2","doi-asserted-by":"publisher","first-page":"387","DOI":"10.1049\/sej.1991.0040","volume":"6","author":"G. Bernot","year":"1991","unstructured":"Bernot, G., Gaudel, M.C., Marre, B.: Software testing based on formal specifications: a theory and a tool. Software Engineering Journal\u00a06(6), 387\u2013405 (1991)","journal-title":"Software Engineering Journal"},{"issue":"3","key":"2_CR3","doi-asserted-by":"publisher","first-page":"229","DOI":"10.1147\/sj.223.0229","volume":"22","author":"D.L. Bird","year":"1983","unstructured":"Bird, D.L., Munoz, C.U.: Automatic generation of random self-checking test cases. IBM Systems Journal\u00a022(3), 229\u2013245 (1983)","journal-title":"IBM Systems Journal"},{"issue":"4","key":"2_CR4","doi-asserted-by":"publisher","first-page":"343","DOI":"10.1016\/0164-1212(86)90004-X","volume":"6","author":"L. Bouge","year":"1986","unstructured":"Bouge, L., Choquet, N., Fribourg, L., Gaudel, M.-C.: Test sets generation from algebraic specifications using logic programming. Journal of Systems and Software\u00a06(4), 343\u2013360 (1986)","journal-title":"Journal of Systems and Software"},{"key":"2_CR5","first-page":"123","volume-title":"Proc. International Symposium on Software testing and analysis","author":"C. Boyapati","year":"2002","unstructured":"Boyapati, C., Khurshid, S., Marinov, D.: Korat: automated testing based on java predicates. In: Proc. International Symposium on Software testing and analysis, pp. 123\u2013133. ACM Press, New York (2002)"},{"issue":"2","key":"2_CR6","doi-asserted-by":"publisher","first-page":"81","DOI":"10.1002\/stvr.4370040204","volume":"4","author":"C. Burgess","year":"1994","unstructured":"Burgess, C.: The Automated Generation of Test Cases for Compilers. Software Testing, Verification and Reliability\u00a04(2), 81\u201399 (1994)","journal-title":"Software Testing, Verification and Reliability"},{"issue":"2","key":"2_CR7","doi-asserted-by":"publisher","first-page":"111","DOI":"10.1016\/0950-5849(95)01055-6","volume":"38","author":"C.J. Burgess","year":"1996","unstructured":"Burgess, C.J., Saidi, M.: The automatic generation of test cases for optimizing Fortran compilers. Information and Software Technology\u00a038(2), 111\u2013119 (1996)","journal-title":"Information and Software Technology"},{"key":"2_CR8","doi-asserted-by":"publisher","first-page":"268","DOI":"10.1145\/351240.351266","volume-title":"ICFP 2000: Proceedings of the fifth ACM SIGPLAN international conference on Functional programming","author":"K. Claessen","year":"2000","unstructured":"Claessen, K., Hughes, J.: QuickCheck: a lightweight tool for random testing of Haskell programs. In: ICFP 2000: Proceedings of the fifth ACM SIGPLAN international conference on Functional programming, pp. 268\u2013279. ACM Press, New York (2000)"},{"issue":"7","key":"2_CR9","doi-asserted-by":"publisher","first-page":"437","DOI":"10.1109\/32.605761","volume":"23","author":"D. Cohen","year":"1997","unstructured":"Cohen, D., Dalal, S., Fredman, M., Patton, G.: The AETG system: An approach to testing based on combinatorial design. IEEE Transactions on Software Engineering\u00a023(7), 437\u2013443 (1997)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"2_CR10","unstructured":"Foundations of Software Engineering, Microsoft Research. AsmL\u2014Abstract State Machine Language (2005), \n                    \n                      http:\/\/research.microsoft.com\/fse\/AsmL\/"},{"key":"2_CR11","unstructured":"Gurevich, Y., Wallace, C.: Specification and Verification of the Windows Card Runtime Environment Using Abstract State Machines. Technical report, Microsoft Research (February 1999) MSR-TR-99-07"},{"issue":"3","key":"2_CR12","first-page":"355","volume":"24","author":"J. Harm","year":"2000","unstructured":"Harm, J., L\u00e4mmel, R.: Two-dimensional Approximation Coverage. Informatica\u00a024(3), 355\u2013369 (2000)","journal-title":"Informatica"},{"issue":"7","key":"2_CR13","doi-asserted-by":"publisher","first-page":"484","DOI":"10.1109\/32.538605","volume":"22","author":"D. Jackson","year":"1996","unstructured":"Jackson, D., Damon, C.A.: Elements of Style: Analyzing a Software Design Feature with a Counterexample Detector. IEEE Transactions on Software Engineering\u00a022(7), 484\u2013495 (1996)","journal-title":"IEEE Transactions on Software Engineering"},{"issue":"7","key":"2_CR14","doi-asserted-by":"publisher","first-page":"385","DOI":"10.1145\/360248.360252","volume":"19","author":"J.C. King","year":"1976","unstructured":"King, J.C.: Symbolic execution and program testing. Communications of the ACM\u00a019(7), 385\u2013394 (1976)","journal-title":"Communications of the ACM"},{"key":"2_CR15","unstructured":"Knuth, D.: Semantics of context-free languages. Mathematical Systems Theory\u00a02, 127\u2013145 (1968), Corrections in 5, 95\u201396 (1971)"},{"key":"2_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"201","DOI":"10.1007\/3-540-45314-8_15","volume-title":"Fundamental Approaches to Software Engineering","author":"R. L\u00e4mmel","year":"2001","unstructured":"L\u00e4mmel, R.: Grammar Testing. In: Hussmann, H. (ed.) FASE 2001. LNCS, vol.\u00a02029, pp. 201\u2013216. Springer, Heidelberg (2001)"},{"key":"2_CR17","unstructured":"L\u00e4mmel, R., Harm, J.: Test case characterisation by regular path expressions. In: Brinksma, E., Tretmans, J. (eds.) Proc. Formal Approaches to Testing of Software (FATES 2001), August 2001. Notes Series NS-01-4, pp. 109\u2013124. BRICS (2001)"},{"key":"2_CR18","first-page":"254","volume-title":"HASE","author":"Y. Lei","year":"1998","unstructured":"Lei, Y., Tai, K.-C.: In-parameter-order: A test generation strategy for pairwise testing. In: HASE, pp. 254\u2013261. IEEE Computer Society, Los Alamitos (1998)"},{"issue":"4","key":"2_CR19","doi-asserted-by":"publisher","first-page":"50","DOI":"10.1109\/52.56422","volume":"7","author":"P. Maurer","year":"1990","unstructured":"Maurer, P.: Generating test data with enhanced context-free grammars. IEEE Software\u00a07(4), 50\u201356 (1990)","journal-title":"IEEE Software"},{"issue":"1","key":"2_CR20","first-page":"100","volume":"10","author":"W. McKeeman","year":"1998","unstructured":"McKeeman, W.: Differential testing for software. Digital Technical Journal of Digital Equipment Corporation\u00a010(1), 100\u2013107 (1998)","journal-title":"Digital Technical Journal of Digital Equipment Corporation"},{"issue":"3","key":"2_CR21","doi-asserted-by":"publisher","first-page":"366","DOI":"10.1007\/BF01932308","volume":"12","author":"P. Purdom","year":"1972","unstructured":"Purdom, P.: A sentence generator for testing parsers. BIT\u00a012(3), 366\u2013375 (1972)","journal-title":"BIT"},{"key":"2_CR22","unstructured":"Schlimmer, J., et al.: Web Services Policy Framework (September 2004), Available at: \n                    \n                      http:\/\/www-128.ibm.com\/developerworks\/library\/specification\/ws-polfram\/"},{"key":"2_CR23","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/331960.331965","volume-title":"Proceedings of the 2nd Conference on Domain-Specific Languages (DSL 1999)","author":"E.G. Sirer","year":"1999","unstructured":"Sirer, E.G., Bershad, B.N.: Using production grammars in software testing. In: USENIX (ed.) Proceedings of the 2nd Conference on Domain-Specific Languages (DSL 1999), Austin, Texas, USA, October 3\u20135, pp. 1\u201313. USENIX, Berkeley (1999)"},{"key":"#cr-split#-2_CR24.1","unstructured":"Slutz, D.: Massive Stochastic Testing for SQL. Technical Report MSR-TR-98-21, Microsoft Research, Redmond (1998);"},{"key":"#cr-split#-2_CR24.2","unstructured":"A shorter form of the paper appeared in the Proc. of the 24th VLDB Conference, New York, USA (1998)"},{"key":"2_CR25","volume-title":"High Integrity Compilation: A Case Study","author":"S. Stepney","year":"1993","unstructured":"Stepney, S.: High Integrity Compilation: A Case Study. Prentice Hall, Englewood Cliffs (1993)"},{"issue":"1","key":"2_CR26","doi-asserted-by":"publisher","first-page":"109","DOI":"10.1109\/32.979992","volume":"28","author":"K. Tai","year":"2002","unstructured":"Tai, K., Lei, Y.: A Test Generation Strategy for Pairwise Testing. IEEE Transactions on Software Engineering\u00a028(1), 109\u2013111 (2002)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"2_CR27","unstructured":"Tillmann, N., Schulte, W., Grieskamp, W.: Parameterized Unit Tests. Technical report, Microsoft Research, MSR-TR-2005-64 (2005); also appeared in FSE\/ESEC 2005"},{"key":"2_CR28","unstructured":"W3C. XML Path Language (XPath) Version 1.0 (November 1999), \n                    \n                      http:\/\/www.w3.org\/TR\/xpath"},{"key":"2_CR29","unstructured":"W3C. XML Schema (2000\u20132003), \n                    \n                      http:\/\/www.w3.org\/XML\/Schema"},{"key":"2_CR30","unstructured":"Zaytsev, V.V.: Combinatorial test set generation: Concepts, implementation, case study. Master\u2019s thesis, Universiteit Twente, Enschede, The Netherlands (June 2004)"}],"container-title":["Lecture Notes in Computer Science","Testing of Communicating Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11754008_2.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T07:04:02Z","timestamp":1619507042000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11754008_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540341840","9783540341857"],"references-count":31,"URL":"https:\/\/doi.org\/10.1007\/11754008_2","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2006]]}}}