Symbolic message sequence charts

Symbolic message sequence charts

10.1145/2089116.2089122

Saved in:
Bibliographic Details
Main Authors: Roychoudhury, A., Goel, A., Sengupta, B.
Other Authors: COMPUTER SCIENCE
Format: Article
Published: 2013
Subjects:
Message sequence charts
Symbolic execution
Test generation
Unified modeling language (UML)
Online Access:http://scholarbank.nus.edu.sg/handle/10635/39559
Tags: Add Tag
No Tags, Be the first to tag this record!
Institution: National University of Singapore
id sg-nus-scholar.10635-39559
record_format dspace
spelling sg-nus-scholar.10635-395592023-10-27T07:37:34Z Symbolic message sequence charts Roychoudhury, A. Goel, A. Sengupta, B. COMPUTER SCIENCE Message sequence charts Symbolic execution Test generation Unified modeling language (UML) 10.1145/2089116.2089122 ACM Transactions on Software Engineering and Methodology 21 2 ATSME 2013-07-04T07:44:21Z 2013-07-04T07:44:21Z 2012 Article Roychoudhury, A., Goel, A., Sengupta, B. (2012). Symbolic message sequence charts. ACM Transactions on Software Engineering and Methodology 21 (2). ScholarBank@NUS Repository. https://doi.org/10.1145/2089116.2089122 1049331X http://scholarbank.nus.edu.sg/handle/10635/39559 000301976000006 Scopus
institution National University of Singapore
building NUS Library
continent Asia
country Singapore
Singapore
content_provider NUS Library
collection ScholarBank@NUS
topic Message sequence charts
Symbolic execution
Test generation
Unified modeling language (UML)
spellingShingle Message sequence charts
Symbolic execution
Test generation
Unified modeling language (UML)
Roychoudhury, A.
Goel, A.
Sengupta, B.
Symbolic message sequence charts
description 10.1145/2089116.2089122
author2 COMPUTER SCIENCE
author_facet COMPUTER SCIENCE
Roychoudhury, A.
Goel, A.
Sengupta, B.
format Article
author Roychoudhury, A.
Goel, A.
Sengupta, B.
author_sort Roychoudhury, A.
title Symbolic message sequence charts
title_short Symbolic message sequence charts
title_full Symbolic message sequence charts
title_fullStr Symbolic message sequence charts
title_full_unstemmed Symbolic message sequence charts
title_sort symbolic message sequence charts
publishDate 2013
url http://scholarbank.nus.edu.sg/handle/10635/39559
_version_ 1781411030484647936

Similar Items