메뉴 건너뛰기




Volumn , Issue , 2008, Pages 249-258

Testing software product lines using incremental test generation

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATIC TECHNIQUE; CONVENTIONAL TECHNIQUES; FIRST ORDER LOGIC; INCREMENTAL APPROACH; ORDER OF MAGNITUDE; PRODUCT-LINES; SOFTWARE PRODUCT LINE; SPEED-UP; TEST GENERATIONS; TEST INPUTS; TESTING SOFTWARE;

EID: 67249136618     PISSN: 10719458     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ISSRE.2008.56     Document Type: Conference Paper
Times cited : (37)

References (26)
  • 3
    • 84976850194 scopus 로고
    • The design and implementation of hierarchical software systems with reusable components
    • D. Batory and S. O'Malley. The design and implementation of hierarchical software systems with reusable components. Comm. of the ACM, 1(4):355-398, 1992.
    • (1992) Comm. of the ACM , vol.1 , Issue.4 , pp. 355-398
    • Batory, D.1    O'Malley, S.2
  • 5
    • 0037437627 scopus 로고    scopus 로고
    • Feature interaction: A critical review and considered forecast
    • DOI 10.1016/S1389-1286(02)00352-3, PII S1389128602003523
    • M. Calder, M. Kolberg, E. H. Magill, and S. Reiff- Marganiec. Feature interaction: a critical review and considered forecast. Computer Networks, 41(1):115-141, 2003. (Pubitemid 35460343)
    • (2003) Computer Networks , vol.41 , Issue.1 , pp. 115-141
    • Calder, M.1    Kolberg, M.2    Magill, E.H.3    Reiff-Marganiec, S.4
  • 15
    • 11344267975 scopus 로고    scopus 로고
    • PhD thesis, Dept. of Electrical Engineering and Computer Science, Massachusetts Institute of Technology, December
    • S. Khurshid. Generating Structurally Complex Tests from Declarative Constraints. PhD thesis, Dept. of Electrical Engineering and Computer Science, Massachusetts Institute of Technology, December 2003.
    • (2003) Generating Structurally Complex Tests from Declarative Constraints
    • Khurshid, S.1
  • 25
    • 78751509521 scopus 로고    scopus 로고
    • Constraint prioritization for efficient analysis of declarative models
    • Turku, Finland, May
    • E. Uzuncaova and S. Khurshid. Constraint prioritization for efficient analysis of declarative models. In Proc. of the 15th Int'l Symposium on Formal Methods, Turku, Finland, May 2008.
    • (2008) th Int'l Symposium on Formal Methods
    • Uzuncaova, E.1    Khurshid, S.2
  • 26
    • 26444555562 scopus 로고    scopus 로고
    • PhD thesis, Computer Science and Artificial Intelligence Lab, MIT
    • M. Vaziri. Finding Bugs Using a Constraint Solver. PhD thesis, Computer Science and Artificial Intelligence Lab, MIT, 2003.
    • (2003) Finding Bugs Using a Constraint Solver
    • Vaziri, M.1


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