메뉴 건너뛰기




Volumn , Issue , 2002, Pages 214-223

Model based regression test reduction using dependence analysis

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SOFTWARE; FORMAL LANGUAGES; REGRESSION ANALYSIS; SYSTEMS ENGINEERING;

EID: 0036441907     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper
Times cited : (115)

References (25)
  • 4
    • 1642585468 scopus 로고    scopus 로고
    • Use of sequencing constraints for specification-based testing of concurrent programs
    • Carver, R.H., Tai, K.C., "Use of Sequencing Constraints for Specification-Based Testing of Concurrent Programs," IEEE Transactions on Software Engineering, 24(6), pp. 471-490, 1998.
    • (1998) IEEE Transactions on Software Engineering , vol.24 , Issue.6 , pp. 471-490
    • Carver, R.H.1    Tai, K.C.2
  • 5
    • 0000741267 scopus 로고
    • A unified approach to protocol test sequence generation
    • Chanson, S.T., Zhu, J., "A Unified Approach to Protocol Test Sequence Generation", Proceeding of IEEE INFOCOM, pp. 143-151, 1993.
    • (1993) Proceeding of IEEE INFOCOM , pp. 143-151
    • Chanson, S.T.1    Zhu, J.2
  • 14
    • 0026137555 scopus 로고
    • A well-defined estelle specification for automatic test generation
    • Lee, D., Lee, J., "A Well-Defined Estelle Specification for Automatic Test Generation," IEEE Transactions on Communications, 40, pp. 526-542, 1991.
    • (1991) IEEE Transactions on Communications , vol.40 , pp. 526-542
    • Lee, D.1    Lee, J.2


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