메뉴 건너뛰기




Volumn 70, Issue 4, 2002, Pages 128-141

Tracing the executions of concurrent programs

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; BINARY CODES; COMPUTER AIDED SOFTWARE ENGINEERING; CONCURRENCY CONTROL; HEURISTIC METHODS; PROGRAM DEBUGGING; RELIABILITY;

EID: 1442316717     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/S1571-0661(04)80581-4     Document Type: Conference Paper
Times cited : (4)

References (19)
  • 3
    • 0012085727 scopus 로고    scopus 로고
    • Model-checking Concurrent Systems with Unbounded Integer Variables: Symbolic Representations
    • Bultan T., Gerber R., Pugh W. Model-checking Concurrent Systems with Unbounded Integer Variables: Symbolic Representations. approximations, and experimental results, TOPLAS. 21:(4):1999;747-789
    • (1999) Approximations, and Experimental Results, TOPLAS , vol.21 , Issue.4 , pp. 747-789
    • Bultan, T.1    Gerber, R.2    Pugh, W.3
  • 12
    • 84948973183 scopus 로고    scopus 로고
    • Path Exploration Tool
    • TACAS Springer
    • E. Gunter, D. Peled, Path Exploration Tool, TACAS 1999, LNCS 1579, Springer, 405-419
    • (1999) LNCS , vol.1579 , pp. 405-419
    • Gunter, E.1    Peled, D.2
  • 13
    • 84888261589 scopus 로고    scopus 로고
    • Temporal debuging for concurrent systems
    • TACAS Springer
    • E. Gunter, D. Peled, Temporal debuging for concurrent systems, TACAS 2002, LNCS 2280, Springer, 431-444
    • (2002) LNCS , vol.2280 , pp. 431-444
    • Gunter, E.1    Peled, D.2
  • 15
    • 0004144738 scopus 로고
    • ITU-T Recommendation Z.120 March
    • ITU-T Recommendation Z.120, Message Sequence Chart (MSC), March 1993
    • (1993) Message Sequence Chart (MSC)
  • 18
    • 21144453077 scopus 로고    scopus 로고
    • A combined testing and verification approach for software reliability
    • FME
    • N. Sharygina, D. Peled, A combined testing and verification approach for software reliability, FME 2001, LNCS 2021, 611-628
    • (2001) LNCS , vol.2021 , pp. 611-628
    • Sharygina, N.1    Peled, D.2


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