{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,1,12]],"date-time":"2023-01-12T05:44:12Z","timestamp":1673502252924},"reference-count":34,"publisher":"Elsevier BV","issue":"3","license":[{"start":{"date-parts":[[2003,6,1]],"date-time":"2003-06-01T00:00:00Z","timestamp":1054425600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Computer Networks"],"published-print":{"date-parts":[[2003,6]]},"DOI":"10.1016\/s1389-1286(03)00248-2","type":"journal-article","created":{"date-parts":[[2003,5,12]],"date-time":"2003-05-12T19:54:49Z","timestamp":1052769289000},"page":"359-374","source":"Crossref","is-referenced-by-count":11,"title":["Coverage testing software architectural design in SDL"],"prefix":"10.1016","volume":"42","author":[{"given":"W.Eric","family":"Wong","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tatiana","family":"Sugeta","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"J.","family":"Jenny Li","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jos\u00e9 C.","family":"Maldonado","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"key":"10.1016\/S1389-1286(03)00248-2_BIB1","doi-asserted-by":"crossref","unstructured":"P. Ammann, P. Black, W. Majurski, Using model checking to generate tests from specifications, in: Proceedings of International Conference on Formal Engineering Methods, Brisbane, Australia, December 1998, pp. 46\u201354.","DOI":"10.6028\/NIST.IR.6166"},{"key":"10.1016\/S1389-1286(03)00248-2_BIB2","doi-asserted-by":"crossref","unstructured":"H. Agrawal, Dominators, super blocks, and program coverage, in: Proceedings of the 21st Symposium on Principles of Programming Languages, Portland, OR, January 1994, pp. 25\u201334","DOI":"10.1145\/174675.175935"},{"issue":"7","key":"10.1016\/S1389-1286(03)00248-2_BIB3","doi-asserted-by":"crossref","first-page":"64","DOI":"10.1109\/2.689678","article-title":"Mining system tests to aid software maintenance","volume":"31","author":"Agrawal","year":"1998","journal-title":"IEEE Computer"},{"issue":"1","key":"10.1016\/S1389-1286(03)00248-2_BIB4","doi-asserted-by":"crossref","first-page":"24","DOI":"10.1109\/32.210305","article-title":"State-based model checking of event-driven systems requirements","volume":"19","author":"Atlee","year":"1993","journal-title":"IEEE Transactions on Software Engineering"},{"key":"10.1016\/S1389-1286(03)00248-2_BIB5","series-title":"SDL with Applications from Protocol Specification","author":"Belina","year":"1991"},{"key":"10.1016\/S1389-1286(03)00248-2_BIB6","series-title":"Proceedings of the 9th SDL Forum, Montreal, Canada","first-page":"405","article-title":"A test case generation tool for conformance testing of SDL specifications","author":"Bourhfir","year":"1999"},{"key":"10.1016\/S1389-1286(03)00248-2_BIB7","series-title":"Proceedings of the 4th SDL Forum","first-page":"267","article-title":"TESDL: experience with generating test cases from SDL specifications","author":"Bromstrup","year":"1989"},{"issue":"4","key":"10.1016\/S1389-1286(03)00248-2_BIB8","doi-asserted-by":"crossref","first-page":"626","DOI":"10.1145\/242223.242257","article-title":"Formal methods: state-of-the-art and future directions","volume":"28","author":"Clark","year":"1996","journal-title":"ACM Computing Surveys"},{"issue":"11","key":"10.1016\/S1389-1286(03)00248-2_BIB9","doi-asserted-by":"crossref","first-page":"1318","DOI":"10.1109\/32.41326","article-title":"A formal evaluation of data flow path selection criteria","volume":"15","author":"Clarke","year":"1989","journal-title":"IEEE Transactions on Software Engineering"},{"key":"10.1016\/S1389-1286(03)00248-2_BIB10","series-title":"SDL: Formal object-oriented language for communicating systems","author":"Ellsberger","year":"1997"},{"key":"10.1016\/S1389-1286(03)00248-2_BIB11","series-title":"Proceedings of the 8th SDL Forum, Evry, France","article-title":"Towards the industrial use of validation techniques and automatic test generation methods for SDL specifications","author":"Ek","year":"1997"},{"issue":"3","key":"10.1016\/S1389-1286(03)00248-2_BIB12","doi-asserted-by":"crossref","first-page":"202","DOI":"10.1109\/32.221133","article-title":"A formal analysis of the fault-detecting ability testing methods","volume":"19","author":"Frankl","year":"1993","journal-title":"IEEE Transactions on Software Engineering"},{"key":"10.1016\/S1389-1286(03)00248-2_BIB13","doi-asserted-by":"crossref","unstructured":"N. Goga, Comparing TorX, Autolink, TGV and UIO test algorithms, in: Proceedings of the 10th SDL Forum, Copenhagen, Denmark, June 2001, Lecture Notes in Computer Science, vol. 2078, Springer, Berlin, 2001, pp. 379\u2013402","DOI":"10.1007\/3-540-48213-X_24"},{"key":"10.1016\/S1389-1286(03)00248-2_BIB14","series-title":"Proceedings of the 9th SDL Forum, Montreal, Canada","first-page":"389","article-title":"SDL and MSC-based test generation for distributed test architectures","author":"Grabowski","year":"1999"},{"issue":"12","key":"10.1016\/S1389-1286(03)00248-2_BIB15","doi-asserted-by":"crossref","first-page":"1402","DOI":"10.1109\/32.62448","article-title":"Partition testing does not inspire confidence","volume":"16","author":"Hamlet","year":"1990","journal-title":"IEEE Transactions on Software Engineering"},{"key":"10.1016\/S1389-1286(03)00248-2_BIB16","doi-asserted-by":"crossref","unstructured":"J.R. Horgan, S.A. London, Data flow coverage and the C language, in: Proceedings of the 4th Symposium on Software Testing, Analysis, and Verification, Victoria, BC, Canada, October 1991, pp. 87\u201397","DOI":"10.1145\/120807.120815"},{"issue":"4","key":"10.1016\/S1389-1286(03)00248-2_BIB17","doi-asserted-by":"crossref","first-page":"336","DOI":"10.1109\/32.385971","article-title":"Specification and analysis of system architecture using rapide","volume":"21","author":"Luckham","year":"1995","journal-title":"IEEE Transactions on Software Engineering"},{"key":"10.1016\/S1389-1286(03)00248-2_BIB18","series-title":"Proceedings of 5th SDL Forum, Glasgow","first-page":"313","article-title":"Software test selection based on SDL specification with Save","author":"Luo","year":"1991"},{"key":"10.1016\/S1389-1286(03)00248-2_BIB19","unstructured":"F. Kristoffersen, L. Verhaard, M. Zeeberg, Test derivation for SDL based on ACTs, in: Proceedings of FORTE\u201992, Lannion, France, 1992, pp. 373\u2013388"},{"issue":"6","key":"10.1016\/S1389-1286(03)00248-2_BIB20","doi-asserted-by":"crossref","first-page":"42","DOI":"10.1109\/52.469759","article-title":"The 4+1 view model of architecture","volume":"12","author":"Kruchten","year":"1995","journal-title":"IEEE Software"},{"key":"10.1016\/S1389-1286(03)00248-2_BIB21","doi-asserted-by":"crossref","unstructured":"J.J. Li and J.R. Horgan, A tool for diagnosis and testing software design specifications, in: Proceedings of International Conference on Dependable Systems and Networks, New York, NY, June 2000","DOI":"10.1109\/ICDSN.2000.857553"},{"key":"10.1016\/S1389-1286(03)00248-2_BIB22","doi-asserted-by":"crossref","unstructured":"J.J. Li, W.E. Wong, Automatic test generation from communicating extended finite state machine (CEFSM)-based models, in: Proceedings of International Symposium on Object-Oriented Teal-time Distributed Computing, Washington, DC, May 2002, pp. 181\u2013185","DOI":"10.1109\/ISORC.2002.1003693"},{"key":"10.1016\/S1389-1286(03)00248-2_BIB23","doi-asserted-by":"crossref","unstructured":"P. Piwowarski, M. Ohba, J. Caruso, Coverage measurement experience during function test, in: Proceedings of International Conference on Software Engineering, Baltimore, MD, May 1993, pp. 287\u2013301","DOI":"10.1109\/ICSE.1993.346035"},{"issue":"4","key":"10.1016\/S1389-1286(03)00248-2_BIB24","doi-asserted-by":"crossref","first-page":"367","DOI":"10.1109\/TSE.1985.232226","article-title":"Selecting software test data using data flow information","volume":"SE-11","author":"Rapps","year":"1985","journal-title":"IEEE Transactions on Software Engineering"},{"key":"10.1016\/S1389-1286(03)00248-2_BIB25","doi-asserted-by":"crossref","unstructured":"J. Offutt, A. Abdurazik, Generating tests from UML specifications, in: Proceedings of International Conference on the Unified Modeling Language, Fort Collins, CO, October 1999, pp. 416\u2013429","DOI":"10.1007\/3-540-46852-8_30"},{"key":"10.1016\/S1389-1286(03)00248-2_BIB26","doi-asserted-by":"crossref","unstructured":"N. Sidorova, M. Steffen, Verifying large SDL-specifications using model checking, in: Proceedings of the 10th SDL Forum, Copenhagen, Denmark, June 2001, Lecture Notes in Computer Science, vol. 2078, Springer, Berlin, 2001, pp. 403\u2013420","DOI":"10.1007\/3-540-48213-X_25"},{"key":"10.1016\/S1389-1286(03)00248-2_BIB27","series-title":"Computer networks","author":"Tanenbaum","year":"1996"},{"key":"10.1016\/S1389-1286(03)00248-2_BIB28","unstructured":"Telelogic Tau 4.3 Telelogic AB, Malmo, Sweden, 2002"},{"issue":"7","key":"10.1016\/S1389-1286(03)00248-2_BIB29","doi-asserted-by":"crossref","first-page":"609","DOI":"10.1016\/S0140-3664(99)00227-3","article-title":"Test generation based on control and data dependencies within system specifications in SDL","volume":"23","author":"Ural","year":"2000","journal-title":"Computer Communications"},{"issue":"1","key":"10.1016\/S1389-1286(03)00248-2_BIB30","doi-asserted-by":"crossref","first-page":"49","DOI":"10.1002\/smr.4360070105","article-title":"Software reconnaissance: mapping program features to code","volume":"7","author":"Wilde","year":"1995","journal-title":"Software Maintenance: Research and Practice"},{"key":"10.1016\/S1389-1286(03)00248-2_BIB31","doi-asserted-by":"crossref","unstructured":"W.E. Wong, J.R. Horgan, S. London, A.P. Mathur, Effect of test set size and block coverage on fault detection effectiveness, in: Proceedings of International Symposium on Software Reliability Engineering, Monterey, CA, November 1994, pp. 230\u2013238","DOI":"10.1109\/ISSRE.1994.341379"},{"issue":"4","key":"10.1016\/S1389-1286(03)00248-2_BIB32","doi-asserted-by":"crossref","first-page":"347","DOI":"10.1002\/(SICI)1097-024X(19980410)28:4<347::AID-SPE145>3.0.CO;2-L","article-title":"Effect of test set minimization on fault detection effectiveness","volume":"28","author":"Wong","year":"1998","journal-title":"Software\u2013Practice and Experience"},{"key":"10.1016\/S1389-1286(03)00248-2_BIB33","doi-asserted-by":"crossref","unstructured":"W.E. Wong, S.S. Gokhale, J.R. Horgan, K.S. Trivedi, Locating program features using execution slices, in: Proceedings of Symposium on Application-Specific Systems and Software Engineering Technology, Richardson, TX, March, 1999","DOI":"10.1109\/ASSET.1999.756769"},{"key":"10.1016\/S1389-1286(03)00248-2_BIB34","unstructured":"W. Zage, D. Zage, J.M. McGrew, N. Sood, Using design metrics to identify stress points in SDL designs, Technical Report SERC-TR-176-P, Ball State University, Muncie, Indiana, 1998"}],"container-title":["Computer Networks"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1389128603002482?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1389128603002482?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,3,21]],"date-time":"2019-03-21T15:52:20Z","timestamp":1553183540000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S1389128603002482"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003,6]]},"references-count":34,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2003,6]]}},"alternative-id":["S1389128603002482"],"URL":"https:\/\/doi.org\/10.1016\/s1389-1286(03)00248-2","relation":{},"ISSN":["1389-1286"],"issn-type":[{"value":"1389-1286","type":"print"}],"subject":[],"published":{"date-parts":[[2003,6]]}}}