메뉴 건너뛰기




Volumn 17, Issue 4, 2007, Pages 207-225

A combinatorial testing strategy for concurrent programs

Author keywords

Combinatorial testing; Concurrency testing; Software testing; T way testing

Indexed keywords

ALGORITHMS; CONCURRENT ENGINEERING; FAULT DETECTION; SYNCHRONIZATION;

EID: 37249053332     PISSN: 09600833     EISSN: 10991689     Source Type: Journal    
DOI: 10.1002/stvr.369     Document Type: Article
Times cited : (44)

References (42)
  • 1
    • 0024924686 scopus 로고    scopus 로고
    • Tai KC. Testing of concurrent software. Proceedings of the 13th Annual International Computer Software and Applications Conference COMPSAC, 1989; 62-64
    • Tai KC. Testing of concurrent software. Proceedings of the 13th Annual International Computer Software and Applications Conference (COMPSAC), 1989; 62-64.
  • 2
    • 0000422707 scopus 로고    scopus 로고
    • Context-sensitive synchronization-sensitive analysis is undecidable
    • Ramalingam G. Context-sensitive synchronization-sensitive analysis is undecidable. ACM Transactions on Programming Languages and Systems 2000; 22(2):416-430.
    • (2000) ACM Transactions on Programming Languages and Systems , vol.22 , Issue.2 , pp. 416-430
    • Ramalingam, G.1
  • 8
    • 17044385800 scopus 로고    scopus 로고
    • Stoller SD. Testing concurrent Java programs using randomized scheduling. Proceedings of the Second Workshop on Runtime Verification RV~, also appears in Electronic Notes in Theoretical Computer Science, 70, no. 4. Elsevier: Amsterdam, 2002; 1-16.
    • Stoller SD. Testing concurrent Java programs using randomized scheduling. Proceedings of the Second Workshop on Runtime Verification (RV~, also appears in Electronic Notes in Theoretical Computer Science, vol. 70, no. 4. Elsevier: Amsterdam, 2002; 1-16.
  • 9
    • 0026711426 scopus 로고
    • A path analysis approach to concurrent program testing
    • Yang RD, Chung CG. A path analysis approach to concurrent program testing. Information and Software Technology 1992; 34(1):43-56.
    • (1992) Information and Software Technology , vol.34 , Issue.1 , pp. 43-56
    • Yang, R.D.1    Chung, C.G.2
  • 14
    • 24144461208 scopus 로고    scopus 로고
    • Software model checking: The VeriSoft approach
    • Godefroid P. Software model checking: The VeriSoft approach. Formal Methods in System Design 2005; 26(2):77-101.
    • (2005) Formal Methods in System Design , vol.26 , Issue.2 , pp. 77-101
    • Godefroid, P.1
  • 15
    • 18744376886 scopus 로고    scopus 로고
    • Nilsson R, Offutt J, Andler SF. Mutation-based testing criteria for timeliness. Proceedings of the 28th IEEE Annual Computer Software and Applications Conference COMPSAC, 2004; 306-312
    • Nilsson R, Offutt J, Andler SF. Mutation-based testing criteria for timeliness. Proceedings of the 28th IEEE Annual Computer Software and Applications Conference (COMPSAC), 2004; 306-312.
  • 21
    • 0034431994 scopus 로고    scopus 로고
    • Automating test case generation for the new generation mission software system
    • Tung YW, Aldiwan WS. Automating test case generation for the new generation mission software system. Proceedings of IEEE Aerospace Conference, 2000; 431-437.
    • (2000) Proceedings of IEEE Aerospace Conference , pp. 431-437
    • Tung, Y.W.1    Aldiwan, W.S.2
  • 28
  • 32
    • 0017996760 scopus 로고
    • Time, clocks, and the ordering of events in a distributed system
    • Lamport L. Time, clocks, and the ordering of events in a distributed system. Communication of ACM 1978; 21(7):558-565.
    • (1978) Communication of ACM , vol.21 , Issue.7 , pp. 558-565
    • Lamport, L.1
  • 34
    • 0019439018 scopus 로고
    • An optimal algorithm for mutual exclusion in computer networks
    • Ricart G, Agrawala AK. An optimal algorithm for mutual exclusion in computer networks. Communications of the ACM 1981; 24(1):9-17.
    • (1981) Communications of the ACM , vol.24 , Issue.1 , pp. 9-17
    • Ricart, G.1    Agrawala, A.K.2
  • 37
    • 37249047772 scopus 로고    scopus 로고
    • μJava Home Page, http://ise.gmu.edu/~ofut/mujava/
    • μJava Home Page, http://ise.gmu.edu/~ofut/mujava/


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