{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,15]],"date-time":"2025-08-15T01:22:53Z","timestamp":1755220973019,"version":"3.43.0"},"reference-count":10,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[1999,12,1]],"date-time":"1999-12-01T00:00:00Z","timestamp":944006400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[1999,12,1]],"date-time":"1999-12-01T00:00:00Z","timestamp":944006400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Software Quality Journal"],"published-print":{"date-parts":[[1999,12]]},"DOI":"10.1023\/a:1008921903660","type":"journal-article","created":{"date-parts":[[2002,12,22]],"date-time":"2002-12-22T12:46:35Z","timestamp":1040561195000},"page":"241-253","source":"Crossref","is-referenced-by-count":1,"title":["\u03c7Suds-SDL: A Tool for Testing Software Architecture Specifications"],"prefix":"10.1007","volume":"8","author":[{"given":"J. Jenny","family":"Li","sequence":"first","affiliation":[]},{"given":"J. Robert","family":"Horgan","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"268034_CR1","doi-asserted-by":"crossref","unstructured":"Agrawal, H. 1994. Dominators, super blocks, and program coverage. Conf. Rec. 21st Annual ACM SIGPLAN-SIGACT Symp. Principles of Programming Languages POPL'94, Portland, Oregon, January, pp. 25\u201334.","DOI":"10.1145\/174675.175935"},{"key":"268034_CR2","doi-asserted-by":"crossref","unstructured":"Agrawal, H., Alberi, J., Li, J.J., et al. 1998. Mining system tests to aid software maintenance, IEEE Comput. July, pp. 64\u201373.","DOI":"10.1109\/2.689678"},{"issue":"1","key":"268034_CR3","doi-asserted-by":"publisher","first-page":"24","DOI":"10.1109\/32.210305","volume":"19","author":"J.M. Atlee","year":"1993","unstructured":"Atlee, J.M., and Gannon, J. 1993. State-based model checking of event-driven system requirements, IEEE Trans. Software Eng. 19(1): 24\u201340.","journal-title":"IEEE Trans. Software Eng."},{"key":"268034_CR4","first-page":"567","volume-title":"Proc. 1969 Spring Joint Comput. Conf.","author":"R.M. Balzer","year":"1969","unstructured":"Balzer, R.M. 1969. EXDAMS\u2014extendable debugging and monitoring system. Proc. 1969 Spring Joint Comput. Conf. Montvale, NJ. AFIPS Press, pp. 567\u2013580."},{"key":"268034_CR5","unstructured":"Belina, F., Hogrefe, D., and Sarma, A. 1991. SDL with Applications from Protocol Specification, Prentice-Hall."},{"issue":"2","key":"268034_CR6","doi-asserted-by":"publisher","first-page":"323","DOI":"10.1145\/322374.322380","volume":"30","author":"D. Brand","year":"1983","unstructured":"Brand, D., and Zafiropulo, P. 1983. On communicating finite-state machines, J. ACM 30(2): 323\u2013342.","journal-title":"J. ACM"},{"key":"268034_CR7","unstructured":"International Telegraph and Telephone Consultative Committee. 1989. SDL user guidelines. Blue Book: IXth Plenary Assembly, Melbourne, Nov. 14\u201325 1988, Geneva, International Telecommunication Union."},{"key":"268034_CR8","doi-asserted-by":"crossref","unstructured":"Kruchten, P.B. 1995. The 4 + 1 view model of architecture, IEEE Software Nov., pp. 42\u201350.","DOI":"10.1109\/52.469759"},{"key":"268034_CR9","doi-asserted-by":"crossref","unstructured":"Li, J.J., and Horgan, J.R. 1998. To maintain a reliable software specification, ISSRE98, pp. 59\u201369.","DOI":"10.1109\/ISSRE.1998.730774"},{"issue":"4","key":"268034_CR10","doi-asserted-by":"publisher","first-page":"336","DOI":"10.1109\/32.385971","volume":"21","author":"D. Luckham","year":"1995","unstructured":"Luckham, D., Kenney, J., et al. 1995. Specification and analysis of system architecture using rapide, IEEE Trans. Software Eng. 21(4): 336\u2013355.","journal-title":"IEEE Trans. Software Eng."}],"container-title":["Software Quality Journal"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1008921903660.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1023\/A:1008921903660\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1008921903660.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,8,8]],"date-time":"2025-08-08T04:59:26Z","timestamp":1754629166000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1023\/A:1008921903660"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999,12]]},"references-count":10,"journal-issue":{"issue":"4","published-print":{"date-parts":[[1999,12]]}},"alternative-id":["268034"],"URL":"https:\/\/doi.org\/10.1023\/a:1008921903660","relation":{},"ISSN":["0963-9314","1573-1367"],"issn-type":[{"type":"print","value":"0963-9314"},{"type":"electronic","value":"1573-1367"}],"subject":[],"published":{"date-parts":[[1999,12]]}}}