메뉴 건너뛰기




Volumn , Issue , 2009, Pages 755-756

Mining scenario-based specifications with value-based invariants

Author keywords

Live sequence charts; Specification mining; Value based invariants

Indexed keywords

EXECUTION TRACE; EXPRESSIVE POWER; LIVE SEQUENCE CHART; ORDERING CONSTRAINTS; REAL APPLICATIONS; SCENARIO-BASED SPECIFICATIONS; SPECIFIC VALUES; SPECIFICATION MINING; VALUE-BASED; VISUAL SPECIFICATION;

EID: 72249114344     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1639950.1639999     Document Type: Conference Paper
Times cited : (3)

References (8)
  • 1
    • 72249122016 scopus 로고    scopus 로고
    • CrossFTPServer. sourceforge.net/projects/crossftpserver
    • CrossFTPServer. sourceforge.net/projects/crossftpserver/.
  • 2
    • 0035393979 scopus 로고    scopus 로고
    • LSCs: Breathing Life into Message Sequence Charts
    • W. Damm and D. Harel. LSCs: Breathing Life into Message Sequence Charts. J. on Formal Methods in System Design, 19(1):45-80, 2001.
    • (2001) J. on Formal Methods in System Design , vol.19 , Issue.1 , pp. 45-80
    • Damm, W.1    Harel, D.2
  • 3
    • 0035250541 scopus 로고    scopus 로고
    • Dynamically discovering likely program invariants to support program evolution
    • M. Ernst, J. Cockrell, W. Griswold, and D. Notkin. Dynamically discovering likely program invariants to support program evolution. TSE, 27(2):99-123, 2001.
    • (2001) TSE , vol.27 , Issue.2 , pp. 99-123
    • Ernst, M.1    Cockrell, J.2    Griswold, W.3    Notkin, D.4
  • 4
    • 43449139187 scopus 로고    scopus 로고
    • Assert and Negate Revisited: Modal Semantics for UML Sequence Diagrams
    • D. Harel and S. Maoz. Assert and Negate Revisited: Modal Semantics for UML Sequence Diagrams. Software and Systems Modeling, 7(2):237-252, 2008.
    • (2008) Software and Systems Modeling , vol.7 , Issue.2 , pp. 237-252
    • Harel, D.1    Maoz, S.2
  • 5
    • 72249110380 scopus 로고    scopus 로고
    • Mining Symbolic Scenario-Based Specifications
    • D. Lo and S. Maoz. Mining Symbolic Scenario-Based Specifications. In PASTE, 2008.
    • (2008) PASTE
    • Lo, D.1    Maoz, S.2
  • 6
    • 49949117821 scopus 로고    scopus 로고
    • Mining Modal Scenario-Based Specifications from Execution Traces of Reactive Systems
    • D. Lo, S. Maoz, and S.-C. Khoo. Mining Modal Scenario-Based Specifications from Execution Traces of Reactive Systems. In ASE'07, 2007.
    • (2007) ASE'07
    • Lo, D.1    Maoz, S.2    Khoo, S.-C.3
  • 7
    • 57349167281 scopus 로고    scopus 로고
    • Automatic Generation of Software Behavioral Models
    • D. Lorenzoli, L. Mariani, and M. Pezzè. Automatic Generation of Software Behavioral Models. In ICSE, 2008.
    • (2008) ICSE
    • Lorenzoli, D.1    Mariani, L.2    Pezzè, M.3
  • 8
    • 34547285042 scopus 로고    scopus 로고
    • S. Maoz and D. Harel. From Multi-Modal Scenarios to Code: Compiling LSCs into AspectJ. In FSE, 2006.
    • S. Maoz and D. Harel. From Multi-Modal Scenarios to Code: Compiling LSCs into AspectJ. In FSE, 2006.


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