{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,24]],"date-time":"2026-02-24T18:05:18Z","timestamp":1771956318452,"version":"3.50.1"},"publisher-location":"Dordrecht","reference-count":29,"publisher":"Springer Netherlands","isbn-type":[{"value":"9789048136599","type":"print"},{"value":"9789048136605","type":"electronic"}],"license":[{"start":{"date-parts":[[2009,12,15]],"date-time":"2009-12-15T00:00:00Z","timestamp":1260835200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2009,12,15]],"date-time":"2009-12-15T00:00:00Z","timestamp":1260835200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-90-481-3660-5_48","type":"book-chapter","created":{"date-parts":[[2010,2,12]],"date-time":"2010-02-12T15:11:46Z","timestamp":1265987506000},"page":"283-288","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":8,"title":["A Survey of Using Model-Based Testing to Improve Quality Attributes in Distributed Systems"],"prefix":"10.1007","author":[{"given":"Ahmad","family":"Saifan","sequence":"first","affiliation":[]},{"given":"Juergen","family":"Dingel","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2009,12,15]]},"reference":[{"key":"48_CR1","unstructured":"A. Saifan and J. Dingel: \u201cModel-Based Testing of Distributed Systems\u201d. Technichal report 2008-548, school of computing, Queen\u2019s University (2008)."},{"key":"48_CR2","unstructured":"S. Barber. What is performance testing?,2007.Available at: http:\/\/searchsoftwarequality.techtarget.com\/tip\/0,289483,sid92gci1247594,00.html"},{"key":"48_CR3","doi-asserted-by":"crossref","unstructured":"A. Huima. \u201cImplementing Conformiq Qtronic\u201d. In TestCom\/FATES, pages 1-12,Tallinn, Estonia, June 2007.","DOI":"10.1007\/978-3-540-73066-8_1"},{"key":"48_CR4","volume-title":"Quantitative System Performance: Computer System Analysis Using Queuing Network Models","author":"E. Lazowska","year":"1984","unstructured":"E. Lazowska, J. Zahorjan, G. Graham, and K. Sevcik. \u201cQuantitative System Performance: Computer System Analysis Using Queuing Network Models\u201d. Prentice-Hall, Inc., NJ, USA, 1984."},{"key":"48_CR5","doi-asserted-by":"crossref","unstructured":"S. Bernardi, S. Donatelli, and J. Merseguer. \u201cFrom UML Sequence Diagrams and Statecharts To Analyzable Petri Net Models\u201d. In WOSP \u201802: Proceedings of the 3rd international workshop on Software and performance, pages 35-45, New York, NY, USA, 2002. ACM.","DOI":"10.1145\/584369.584376"},{"key":"48_CR6","unstructured":"R.Pooley. \u201cUsing UML to Derive Stochastic Process Algebra Models\u201d.In Proceedings of the 15th UK Performance Engineering Workshop, pages 23-33, 1999."},{"key":"48_CR7","unstructured":"R. Chandramouli and M. Blackburn. \u201cModel-based Automated Security Functional Testing\u201d. In OMGs Seventh Annual Workshop on distributed objects and components security, Baltimore, Maryland, USA, April 2003."},{"issue":"1","key":"48_CR8","doi-asserted-by":"publisher","first-page":"94","DOI":"10.1145\/974043.974059","volume":"29","author":"G. Denaro","year":"2004","unstructured":"G. Denaro, A. Polini, and W. Emmerich. \u201cEarly Performance Testing of Distributed Software Applications\u201d. SIGSOFT Softw. Eng. Notes, vol. 29(1), pp. 94-103, 2004.","journal-title":"SIGSOFT Softw. Eng. Notes"},{"key":"48_CR9","doi-asserted-by":"crossref","unstructured":"J. J\u00fcrjens. \u201cTowards Development oF Secure Systems USING UMLsec\u201d. In Fundamental Approaches to Software Engineering, 4th International Conference, FASE 2001, Genova, Italy, April, 2001, Proc., volume 2029 of Lecture Notes in Computer Science, pages 187-200. Springer, 2001.","DOI":"10.1007\/3-540-45314-8_14"},{"key":"48_CR10","unstructured":"J. J\u00fcrjens. \u201cSecure Systems Development With UML\u201d. SpringerVerlag, 2005."},{"key":"48_CR11","doi-asserted-by":"crossref","unstructured":"M. Hussein and M. Zulkernine. \u201cUMLintr: A UML Profile for Specifying Intrusions\u201d. In 13th Annual IEEE International Conference and Workshop on Engineering of Computer Based Systems, 27-30, 2006, Potsdam, Germany, pages 279-288. IEEE Computer Society, 2006.","DOI":"10.1109\/ECBS.2006.70"},{"key":"48_CR12","doi-asserted-by":"crossref","unstructured":"T. Lodderstedt, D. Basin, and J. Doser. \u201cSecureuml: A UML-Based Modeling Language for Model-Driven Security\u201d. In UML \u201802: Proc. of the 5th International Conference on The Unified Modeling Language, pages 426-441, London, UK, 2002. SpringerVerlag.","DOI":"10.1007\/3-540-45800-X_33"},{"key":"48_CR13","unstructured":"R. Chandramouli and M. Blackburn. \u201cModel-Based Automated Security Functional Testing\u201d. In OMGs Seventh Annual Workshop on distributed objects and components security, Baltimore, Maryland, USA, April, 2003."},{"key":"48_CR14","unstructured":"M. Utting, A. Pretschner, and B. Legeard. \u201cA Taxonomy of Model-Based Testing\u201d. Technical Report 04\/2006, Department of Computer Science, The Universiy of Waikato(New Zealand), 2006."},{"key":"48_CR15","unstructured":"M. Blackburn, R. Busser, A. Nauman, and R. Chandramouli. \u201cModel-Based Approach to Security Test Automation\u201d, proceeding in quality week, June, 2001."},{"key":"48_CR16","unstructured":"Oracle Corporation. Oracle8 Security Target Release 8.0.5, April, 2000."},{"key":"48_CR17","doi-asserted-by":"crossref","unstructured":"G. Wimmel and J. J\u00fcrjens. \u201cSpecification-Based Test Generation for Security-Critical Systems Using Mutations\u201d. In ICFEM \u201802: Proceedings of the 4th International Conference on Formal Engineering Methods, pages 471-482,London, UK, 2002. Springer-Verlag.","DOI":"10.1007\/3-540-36103-0_48"},{"key":"48_CR18","doi-asserted-by":"crossref","unstructured":"J. Chen. \u201cOn Using Static Analysis in Distributed System Testing\u201d. In EDO\u201900: Revised Papers from the 2nd International Workshop on Engineering Distributed Objects, pp. 145-162, London, UK, 2001. SpringerVerlag.","DOI":"10.1007\/3-540-45254-0_13"},{"key":"48_CR19","unstructured":"IEEE Standard Glossary of Software Engineering Terminology. Technical report,1990."},{"key":"48_CR20","doi-asserted-by":"crossref","unstructured":"H. Guen, R. Marie, and T. Thelin. \u201cReliability Estimation for Statistical Usage Testing Using Markov Chains\u201d. In ISSRE \u201804: Proceedings of the 15th International Symposium on Software Reliability Engineering, pages 54-65, Washington, DC, USA, 2004. IEEE Computer Society.","DOI":"10.1109\/ISSRE.2004.33"},{"issue":"10","key":"48_CR21","doi-asserted-by":"publisher","first-page":"812","DOI":"10.1109\/32.328991","volume":"20","author":"J. Whittaker","year":"1994","unstructured":"J. Whittaker and M. Thomason. \u201cA Markov Chain Model for Statistical Software Testing\u201d. IEEE Trans. Softw. Eng., vol. 20(10), pp. 812-824, 1994.","journal-title":"IEEE Trans. Softw. Eng."},{"key":"48_CR22","doi-asserted-by":"crossref","unstructured":"K. Sayre and J. Poore. \u201cA Reliability Estimator for Model Based Software Testing\u201d. In Proc. of the 13th International Symposium on Software Reliability Engineering, page 53, Washington, DC, USA, 2002. IEEE Computer Society.","DOI":"10.1109\/ISSRE.2002.1173212"},{"key":"48_CR23","doi-asserted-by":"crossref","unstructured":"C. Campbell, W. Grieskamp, L. Nachmanson, W. Schulte, N. Tillmann, and M. Veanes. \u201cModel-Based Testing of Object-Oriented Reactive Systems With Spec Explorer\u201d. Technical report, Microsoft Research, Redmond, May 2005.","DOI":"10.1007\/11526841_38"},{"key":"48_CR24","unstructured":"G. Tretmans and H. Brinksma. \u201cC\u00f4te de Resyste: \u201cAutomated Model Based Testing\u201d. In Proc. of the 3rd PROGRESS workshop on Embedded Systems, Veldhoven, The Netherlands, pages 246-255, Utrecht, 2002. STW Technology Foundation."},{"key":"48_CR25","unstructured":"A. Dias Neto, R. Subramanyan, M. Vieira, and G. Travassos. \u201cCharacterization of Model-Based Software Testing Approaches\u201d. Technical Report ES-713\/07, PESC-COPPE\/UFRJ,2007."},{"issue":"3","key":"48_CR26","doi-asserted-by":"publisher","first-page":"231","DOI":"10.1145\/234426.234431","volume":"5","author":"C. Heitmeyer","year":"1996","unstructured":"C. Heitmeyer, R. Jeffords, and B. Labaw. \u201cAutomated Consistency Checking of Requirements Specifications\u201d. ACM Trans. Softw. Eng.Methodol.,vol. 5(3),pp.231-261, 1996.","journal-title":"ACM Trans. Softw. Eng.Methodol."},{"key":"48_CR27","doi-asserted-by":"crossref","unstructured":"F. Bouquet, B. Legeard, F. Peureux, and E. Torreborre. \u201cMastering Test Generation from Smart Card Software Formal Models\u201d. In Procs. ofthe Int. Workshop on Construction and Analysis of Safe, Secure and Interoperable Smart devices (CASSIS\u201904), vol. 3362 of LNCS, pp. 70-85, Marseille, France, March 2004. Springer.","DOI":"10.1007\/978-3-540-30569-9_4"},{"key":"48_CR28","doi-asserted-by":"crossref","unstructured":"S. Prowell. \u201cJUMBL: A Tool for Model-Based Statistical Testing\u201d. In HICSS \u201803: Proceedings of the 36th Annual Hawaii International Conference on System Sciences (HICSS\u201903) - Track 9, page 337.3, Washington, DC, USA, 2003. IEEE Computer Society.","DOI":"10.1109\/HICSS.2003.1174916"},{"issue":"7","key":"48_CR29","doi-asserted-by":"publisher","first-page":"437","DOI":"10.1109\/32.605761","volume":"23","author":"D. Cohen","year":"1997","unstructured":"D. Cohen, S. Dalal, M. Fredman, and G. Patton. \u201cThe AETG System: An Approach to Testing Based on Combinatiorial Design\u201d. Software Engineering, vol.23 (7), pp.437-444, 1997.","journal-title":"Software Engineering"}],"container-title":["Advanced Techniques in Computing Sciences and Software Engineering"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-90-481-3660-5_48","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,18]],"date-time":"2025-02-18T11:33:47Z","timestamp":1739878427000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-90-481-3660-5_48"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,12,15]]},"ISBN":["9789048136599","9789048136605"],"references-count":29,"URL":"https:\/\/doi.org\/10.1007\/978-90-481-3660-5_48","relation":{},"subject":[],"published":{"date-parts":[[2009,12,15]]},"assertion":[{"value":"15 December 2009","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}