메뉴 건너뛰기




Volumn 3964 LNCS, Issue , 2006, Pages 19-38

Controllable combinatorial coverage in grammar-based testing

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; APPROXIMATION THEORY; CONTROL THEORY; FUNCTIONS; METADATA; SET THEORY; EXPLOSIVES;

EID: 33745875641     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11754008_2     Document Type: Conference Paper
Times cited : (87)

References (32)
  • 2
    • 0026256511 scopus 로고
    • Software testing based on formal specifications: A theory and a tool
    • G. Bernot, M. C. Gaudel, and B. Marre. Software testing based on formal specifications: a theory and a tool. Software Engineering Journal, 6(6):387-405, 1991.
    • (1991) Software Engineering Journal , vol.6 , Issue.6 , pp. 387-405
    • Bernot, G.1    Gaudel, M.C.2    Marre, B.3
  • 3
    • 0020876533 scopus 로고
    • Automatic generation of random self-checking test cases
    • D. L. Bird and C. U. Munoz. Automatic generation of random self-checking test cases. IBM Systems Journal, 22(3):229-245, 1983.
    • (1983) IBM Systems Journal , vol.22 , Issue.3 , pp. 229-245
    • Bird, D.L.1    Munoz, C.U.2
  • 4
    • 0022810252 scopus 로고
    • Test sets generation from algebraic specifications using logic programming
    • L. Bouge, N. Choquet, L. Fribourg, and M.-C. Gaudel. Test sets generation from algebraic specifications using logic programming. Journal of Systems and Software, 6(4):343-360, 1986.
    • (1986) Journal of Systems and Software , vol.6 , Issue.4 , pp. 343-360
    • Bouge, L.1    Choquet, N.2    Fribourg, L.3    Gaudel, M.-C.4
  • 6
    • 0028460104 scopus 로고
    • The automated generation of test cases for compilers
    • June
    • C. Burgess. The Automated Generation of Test Cases for Compilers. Software Testing, Verification and Reliability, 4(2):81-99, June 1994.
    • (1994) Software Testing, Verification and Reliability , vol.4 , Issue.2 , pp. 81-99
    • Burgess, C.1
  • 7
    • 0029710179 scopus 로고    scopus 로고
    • The automatic generation of test cases for optimizing Fortran compilers
    • Feb.
    • C. J. Burgess and M. Saidi. The automatic generation of test cases for optimizing Fortran compilers. Information and Software Technology, 38(2):111-119, Feb. 1996.
    • (1996) Information and Software Technology , vol.38 , Issue.2 , pp. 111-119
    • Burgess, C.J.1    Saidi, M.2
  • 10
    • 33750267521 scopus 로고    scopus 로고
    • Foundations of Software Engineering, Microsoft Research. AsmL - Abstract State Machine Language, 2005. http://research.microsoft.com/fse/AsmL/.
    • (2005) AsmL - Abstract State Machine Language
  • 11
    • 33745904624 scopus 로고    scopus 로고
    • Specification and verification of the windows card runtime environment using abstract state machines
    • Microsoft Research, Feb. MSR-TR-99-07
    • Y. Gurevich and C. Wallace. Specification and Verification of the Windows Card Runtime Environment Using Abstract State Machines. Technical report, Microsoft Research, Feb. 1999. MSR-TR-99-07.
    • (1999) Technical Report
    • Gurevich, Y.1    Wallace, C.2
  • 12
    • 0034264806 scopus 로고    scopus 로고
    • Two-dimensional approximation coverage
    • J. Harm and R. Lämmel. Two-dimensional Approximation Coverage. Informatica, 24(3):355-369, 2000.
    • (2000) Informatica , vol.24 , Issue.3 , pp. 355-369
    • Harm, J.1    Lämmel, R.2
  • 13
    • 0000194670 scopus 로고    scopus 로고
    • Elements of style: Analyzing a software design feature with a counterexample detector
    • D. Jackson and C. A. Damon. Elements of Style: Analyzing a Software Design Feature with a Counterexample Detector. IEEE Transactions on Software Engineering, 22(7):484-495, 1996.
    • (1996) IEEE Transactions on Software Engineering , vol.22 , Issue.7 , pp. 484-495
    • Jackson, D.1    Damon, C.A.2
  • 14
    • 0016971687 scopus 로고
    • Symbolic execution and program testing
    • July
    • J. C. King. Symbolic execution and program testing. Communications of the ACM, 19(7):385-394, July 1976.
    • (1976) Communications of the ACM , vol.19 , Issue.7 , pp. 385-394
    • King, J.C.1
  • 15
    • 0001538613 scopus 로고
    • Semantics of context-free languages
    • Corrections in 5:95-96, 1971
    • D. Knuth. Semantics of context-free languages. Mathematical Systems Theory, 2:127-145, 1968. Corrections in 5:95-96, 1971.
    • (1968) Mathematical Systems Theory , vol.2 , pp. 127-145
    • Knuth, D.1
  • 16
    • 84944250318 scopus 로고    scopus 로고
    • Grammar testing
    • H. Hussmann, editor, Proc. of Fundamental Approaches to Software Engineering (FASE) 2001. Springer-Verlag
    • R. Lämmel. Grammar Testing. In H. Hussmann, editor, Proc. of Fundamental Approaches to Software Engineering (FASE) 2001, volume 2029 of LNCS, pages 201-216. Springer-Verlag, 2001.
    • (2001) LNCS , vol.2029 , pp. 201-216
    • Lämmel, R.1
  • 17
    • 9744269383 scopus 로고    scopus 로고
    • Test case characterisation by regular path expressions
    • E. Brinksma and J. Tretmans, editors, Notes Series NS-01-4. BRIGS, Aug.
    • R. Lämmel and J. Harm. Test case characterisation by regular path expressions. In E. Brinksma and J. Tretmans, editors, Proc. Formal Approaches to Testing of Software (FATES'01), Notes Series NS-01-4, pages 109-124. BRIGS, Aug. 2001.
    • (2001) Proc. Formal Approaches to Testing of Software (FATES'01) , pp. 109-124
    • Lämmel, R.1    Harm, J.2
  • 18
    • 85046437490 scopus 로고    scopus 로고
    • In-pararneter-order: A test generation strategy for pairwise testing
    • IEEE Computer Society
    • Y. Lei and K.-C. Tai. In-pararneter-order: A test generation strategy for pairwise testing. In HASE, pages 254-261. IEEE Computer Society, 1998.
    • (1998) HASE , pp. 254-261
    • Lei, Y.1    Tai, K.-C.2
  • 19
    • 0025452154 scopus 로고
    • Generating test data with enhanced context-free grammars
    • P. Maurer. Generating test data with enhanced context-free grammars. IEEE Software, 7(4):50-56, 1990.
    • (1990) IEEE Software , vol.7 , Issue.4 , pp. 50-56
    • Maurer, P.1
  • 21
    • 33745173348 scopus 로고
    • A sentence generator for testing parsers
    • P. Purdom. A sentence generator for testing parsers. BIT, 12(3):366-375, 1972.
    • (1972) BIT , vol.12 , Issue.3 , pp. 366-375
    • Purdom, P.1
  • 22
    • 27544460647 scopus 로고    scopus 로고
    • Sept.
    • J. Schlimmer et al. Web Services Policy Framework, Sept. 2004. Available at http://www-128.ibm.com/developerworks/library/specification/wspolfram/.
    • (2004) Web Services Policy Framework
    • Schlimmer, J.1
  • 24
    • 0002540707 scopus 로고    scopus 로고
    • Massive stochastic testing for SQL
    • Microsoft Research, Redmond
    • D. Slutz. Massive Stochastic Testing for SQL. Technical Report MSR-TR-98-21, Microsoft Research, Redmond, 1998.
    • (1998) Technical Report , vol.MSR-TR-98-21
    • Slutz, D.1
  • 25
    • 33745931528 scopus 로고    scopus 로고
    • A shorter form of the paper appeared, New York, USA
    • A shorter form of the paper appeared in the Proc. of the 24th VLDB Conference, New York, USA, 1998.
    • (1998) Proc. of the 24th VLDB Conference
  • 27
    • 0036160958 scopus 로고    scopus 로고
    • A test generation strategy for pairwise testing
    • K. Tai and Y. Lei. A Test Generation Strategy for Pairwise Testing. IEEE Transactions on Software Engineering, 28(1):109-111, 2002.
    • (2002) IEEE Transactions on Software Engineering , vol.28 , Issue.1 , pp. 109-111
    • Tai, K.1    Lei, Y.2
  • 28
  • 29


* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.