{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,30]],"date-time":"2025-09-30T04:31:21Z","timestamp":1759206681940,"version":"3.32.0"},"reference-count":34,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[2005,9,16]],"date-time":"2005-09-16T00:00:00Z","timestamp":1126828800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Softw Syst Model"],"published-print":{"date-parts":[[2005,11]]},"DOI":"10.1007\/s10270-005-0090-5","type":"journal-article","created":{"date-parts":[[2005,9,16]],"date-time":"2005-09-16T03:04:56Z","timestamp":1126839896000},"page":"399-423","source":"Crossref","is-referenced-by-count":32,"title":["Automated support for deriving test requirements from UML statecharts"],"prefix":"10.1007","volume":"4","author":[{"given":"L. C.","family":"Briand","sequence":"first","affiliation":[]},{"given":"Y.","family":"Labiche","sequence":"additional","affiliation":[]},{"given":"J.","family":"Cui","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,9,16]]},"reference":[{"key":"90_CR1","unstructured":"OMG.: UML 1.4 Specification. Object Management Group, Complete Specification formal\/01-09-67 (2001)"},{"key":"90_CR2","volume-title":"Object-Oriented Software Engineering Using UML, Patterns, and Java","author":"B. Bruegge","year":"2004","unstructured":"Bruegge, B., Dutoit, A.H.: Object-Oriented Software Engineering Using UML, Patterns, and Java, 2nd edn. Prentice-Hall, Englewood Cliffs, NJ (2004)","edition":"2"},{"key":"90_CR3","volume-title":"Testing Object-Oriented Systems\u2014Models, Patterns, and Tools. Object Technology","author":"R.V. Binder","year":"1999","unstructured":"Binder, R.V.: Testing Object-Oriented Systems\u2014Models, Patterns, and Tools. Object Technology. Addison-Wesley, Reading, MA (1999)"},{"key":"90_CR4","doi-asserted-by":"crossref","unstructured":"Offutt, A.J., Abdurazik, A.: Generating Tests from UML specifications. In: Proceedings of the 2nd International Conference on the Unified Modeling Language (UML`99), Fort Collins, CO, pp. 416\u2013429 (1999)","DOI":"10.1007\/3-540-46852-8_30"},{"key":"90_CR5","volume-title":"Software Testing Techniques","author":"B. Beizer","year":"1990","unstructured":"Beizer, B.: Software Testing Techniques, 2nd edn. Van Nostrand Reinhold, NY (1990)","edition":"2"},{"key":"90_CR6","unstructured":"OMG.: UML 1.4 chapter 6\u2014OCL Specification. Object Management Group, Complete Specification formal\/01-09-67 (2001)"},{"key":"90_CR7","unstructured":"Warmer, J., Kleppe, A.: The Object Constraint Language. Addison-Wesley, Reading, MA. Errata at http:\/\/www.klasse.nl\/english\/boeken\/errata.html (1999)"},{"key":"90_CR8","volume-title":"Object-Oriented Software Construction","author":"B. Meyer","year":"1997","unstructured":"Meyer, B.: Object-Oriented Software Construction\u20142nd edn. Prentice-Hall, Englewood Cliffs, NJ (1997)","edition":"2"},{"key":"90_CR9","volume-title":"Design by Contract, by Example","author":"R. Mitchell","year":"2001","unstructured":"Mitchell, R., McKim, J.: Design by Contract, by Example. Addison-Wesley, Reading, MA (2001)"},{"key":"90_CR10","doi-asserted-by":"crossref","unstructured":"Chevalley, P., Th\u00e9venod-Fosse, P.: Automated Generation of Statistical Test Cases from UML State Diagrams. In: Proceedings of the International Computer Software and Applications Conference, Chicago, IL, pp. 205\u2013214 (2001)","DOI":"10.1109\/CMPSAC.2001.960618"},{"issue":"3","key":"90_CR11","doi-asserted-by":"crossref","first-page":"178","DOI":"10.1109\/TSE.1978.231496","volume":"SE-4","author":"T.S. Chow","year":"1978","unstructured":"Chow, T.S.: Testing software design modeled by finite-state machines. IEEE Trans. Softw. Eng. SE-4(3), 178\u2013187 (1978)","journal-title":"IEEE Trans. Softw. Eng."},{"issue":"8","key":"90_CR12","doi-asserted-by":"crossref","first-page":"1090","DOI":"10.1109\/5.533956","volume":"84","author":"D. Lee","year":"1996","unstructured":"Lee, D., Yannakakis, M.: Principles and methods of testing finite state machines\u2014a survey. Proc. IEEE 84(8), 1090\u20131123 (1996)","journal-title":"Proc. IEEE"},{"issue":"1","key":"90_CR13","doi-asserted-by":"crossref","first-page":"39","DOI":"10.1002\/stvr.217","volume":"11","author":"K. Bogdanov","year":"2001","unstructured":"Bogdanov, K., Holcombe, M.: Statechart testing method for aircraft control Systems. Softw. Test. Verification Reliability 11(1), 39\u201354, (2001)","journal-title":"Softw. Test. Verification Reliability"},{"key":"90_CR14","unstructured":"Li, L., Qi, Z.: Test selection from UML statecharts. In: Proceedings of Technology of Object-Oriented Languages and Systems, pp. 273\u2013279 (1999)"},{"issue":"4","key":"90_CR15","doi-asserted-by":"crossref","first-page":"203","DOI":"10.1002\/1099-1689(200012)10:4<203::AID-STVR212>3.0.CO;2-2","volume":"10","author":"H.S. Hong","year":"2000","unstructured":"Hong, H.S., Kim, Y.G., Cha, S.D., Bae, D.H., Ural, H.: A test sequence selection method for statecharts. Softw. Testing Verification Reliability 10(4), 203\u2013227 (2000)","journal-title":"Softw. Testing Verification Reliability"},{"issue":"4","key":"90_CR16","doi-asserted-by":"crossref","first-page":"187","DOI":"10.1049\/ip-sen:19990602","volume":"146","author":"Y.G. Kim","year":"1999","unstructured":"Kim, Y.G., Hong, H.S., Cho, S.M., Bae, D.H., Cha, S.D.: Test case generation from UML state diagrams. Proc. IEE Softw. 146(4), 187\u2013192 (1999)","journal-title":"Proc. IEE Softw."},{"key":"90_CR17","unstructured":"OMG.: OCL 2.0 Specification. Object Management Group, Final Adopted Specification ptc\/03-10-14 (2003)"},{"key":"90_CR18","unstructured":"OMG.: UML 2.0 Superstructure Specification. Object Management Group, Final Adopted Specification ptc\/03-08-02 (2003)"},{"key":"90_CR19","volume-title":"Modern Operating Systems","author":"A.S. Tanenbaum","year":"2001","unstructured":"Tanenbaum, A.S., Modern Operating Systems, 2nd edn. Prentice-Hall, Englewood Cliffs, NJ (2001)","edition":"2"},{"key":"90_CR20","volume-title":"Real Time UML, 3rd edn","author":"B.P. Douglass","year":"2004","unstructured":"Douglass, B.P.: Real Time UML, 3rd edn. Addison-Wesley, Reading, MA (2004)"},{"issue":"4","key":"90_CR21","doi-asserted-by":"crossref","first-page":"391","DOI":"10.1145\/265924.265927","volume":"15","author":"S. Savage","year":"1997","unstructured":"Savage, S., Burrows, M., Nelson, G., Sobalvarro, P., Anderson, T.: Eraser: A dynamic data race detector for multithreaded programs. ACM Trans. Comput. Syst. 15(4), 391\u2013411 (1997)","journal-title":"ACM Trans. Comput. Syst."},{"key":"90_CR22","volume-title":"The Unified Modeling Language User Guide","author":"G. Booch","year":"1999","unstructured":"Booch, G., Rumbaugh, J., Jacobson, I.: The Unified Modeling Language User Guide. Addison Wesley, Reading, MA (1999)"},{"key":"90_CR23","volume-title":"The Unified Modeling Language Reference Manual","author":"J. Rumbaugh","year":"1999","unstructured":"Rumbaugh, J., Jacobson, I., Booch, G.: The Unified Modeling Language Reference Manual. Addison Wesley, Reading, MA (1999)"},{"key":"90_CR24","volume-title":"Logic in Computer Science, Modelling and Reasoning about Systems","author":"M.R.A. Huth","year":"2000","unstructured":"Huth, M.R.A., Ryan, M.D.: Logic in Computer Science, Modelling and Reasoning about Systems. Cambridge University Press, Oxford, UK (2000)"},{"key":"90_CR25","unstructured":"Finger, F.: Design and Implementation of a Modular OCL Compiler. Master Thesis, Dresden University of Technology, Dresden, Germany (2000)"},{"key":"90_CR26","volume-title":"Design Patterns\u2014Elements of Reusable Object-Oriented Software","author":"E. Gamma","year":"1995","unstructured":"Gamma, E., Helm, R., Johnson, R., Vlissides, J.: Design Patterns\u2014Elements of Reusable Object-Oriented Software. Addison-Wesley, Reading, MA (1995)"},{"key":"90_CR27","doi-asserted-by":"crossref","unstructured":"Briand, L.C., Labiche, Y., Yan, H.-D., Di Penta, M.: A controlled experiment on the impact of the object constraint language in UML-based development. In: Proceedings of the IEEE International Conference on Software Maintenance, Chicago, pp.~380\u2013389 (2004)","DOI":"10.1109\/ICSM.2004.1357823"},{"key":"90_CR28","doi-asserted-by":"crossref","unstructured":"Briand, L.C., Cui, J., Labiche, Y.: Towards Automated Support for Deriving Test Data from UML Statecharts. Carleton University, Ottawa, Canada, Technical Report SCE-03-13, http:\/\/www.sce.carleton.ca\/Squall. (2003)","DOI":"10.1007\/978-3-540-45221-8_22"},{"key":"90_CR29","unstructured":"Mitchell, R.: Analysis by contract\u2014Video store case study. University of Brighton, Brighton, UK, Technical Report, http:\/\/www.it.brighton.ac.uk\/staff\/rjm4 (1999)"},{"key":"90_CR30","doi-asserted-by":"crossref","unstructured":"Offutt, A.J., Xiong, Y., Liu, S.: Criteria for Generating Specification-Based Tests. In: Proceedings of the 5th International Conference on Engineering of Complex Computer Systems (ICECCS), Las Vegas, NV, pp. 119\u2013129 (1999)","DOI":"10.1109\/ICECCS.1999.802856"},{"key":"90_CR31","unstructured":"Cui, J.: Towards Automated Support for Deriving Test Data from UML Statecharts. Master Thesis, Carleton University, Ottawa, Canada, Systems and Computer Enginerring (2004)"},{"key":"90_CR32","doi-asserted-by":"crossref","unstructured":"Chambers, L.: Practical Handbook of Genetic Algorithms, vol. 1. CRC, Boca Raton, FL (1995).","DOI":"10.1201\/9781420050073"},{"key":"90_CR33","volume-title":"How to Solve it: Modern Heuristics","author":"Z. Michalewicz","year":"1999","unstructured":"Michalewicz, Z.: How to Solve it: Modern Heuristics. Springer-Verlag, Berlin Heidelberg New York (1999)"},{"key":"90_CR34","volume-title":"Executable UML: A Foundation for Model-Driven Architecture","author":"S.J. Mellor","year":"2002","unstructured":"Mellor, S.J., Balcer, M.J.: Executable UML: A Foundation for Model-Driven Architecture. Addison-Wesley, Reading, MA (2002)"}],"container-title":["Software &amp; Systems Modeling"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-005-0090-5.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10270-005-0090-5\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-005-0090-5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,4]],"date-time":"2025-01-04T08:43:46Z","timestamp":1735980226000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10270-005-0090-5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005,9,16]]},"references-count":34,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2005,11]]}},"alternative-id":["90"],"URL":"https:\/\/doi.org\/10.1007\/s10270-005-0090-5","relation":{},"ISSN":["1619-1366","1619-1374"],"issn-type":[{"type":"print","value":"1619-1366"},{"type":"electronic","value":"1619-1374"}],"subject":[],"published":{"date-parts":[[2005,9,16]]}}}