{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,18]],"date-time":"2025-12-18T13:44:16Z","timestamp":1766065456989},"reference-count":28,"publisher":"Wiley","issue":"4","license":[{"start":{"date-parts":[[2015,9,1]],"date-time":"2015-09-01T00:00:00Z","timestamp":1441065600000},"content-version":"tdm","delay-in-days":5387,"URL":"http:\/\/doi.wiley.com\/10.1002\/tdm_license_1.1"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Softw. Test. Verif. Reliab."],"published-print":{"date-parts":[[2000,12]]},"DOI":"10.1002\/1099-1689(200012)10:4<203::aid-stvr212>3.0.co;2-2","type":"journal-article","created":{"date-parts":[[2002,8,25]],"date-time":"2002-08-25T20:43:26Z","timestamp":1030308206000},"page":"203-227","source":"Crossref","is-referenced-by-count":53,"title":["A test sequence selection method for statecharts"],"prefix":"10.1002","volume":"10","author":[{"given":"Hyoung Seok","family":"Hong","sequence":"first","affiliation":[]},{"given":"Young Gon","family":"Kim","sequence":"additional","affiliation":[]},{"given":"Sung Deok","family":"Cha","sequence":"additional","affiliation":[]},{"given":"Doo Hwan","family":"Bae","sequence":"additional","affiliation":[]},{"given":"Hasan","family":"Ural","sequence":"additional","affiliation":[]}],"member":"311","published-online":{"date-parts":[[2001]]},"reference":[{"key":"10.1002\/1099-1689(200012)10:4<203::AID-STVR212>3.0.CO;2-2-BIB1","doi-asserted-by":"crossref","first-page":"231","DOI":"10.1016\/0167-6423(87)90035-9","volume":"8","author":"Harel","year":"1987","journal-title":"Science of Computer Programming"},{"key":"10.1002\/1099-1689(200012)10:4<203::AID-STVR212>3.0.CO;2-2-BIB2","doi-asserted-by":"crossref","first-page":"128","DOI":"10.1007\/3-540-58468-4_163","volume-title":"Formal Techniques in Real-time Fault-tolerant Systems","volume":"863","author":"von der Beeck","year":"1994","unstructured":"A comparison of statecharts variants. In Formal Techniques in Real-time Fault-tolerant Systems, Lecture Notes in Computer Science, vol. 863, Springer Verlag, 1994; 128-148."},{"key":"10.1002\/1099-1689(200012)10:4<203::AID-STVR212>3.0.CO;2-2-BIB3","first-page":"422","volume-title":"Proceedings of the 5th International Conference on High Performance Computing","author":"Bader","year":"1999","unstructured":"Testing concurrency and communication in distributed objects. In Proceedings of the 5th International Conference on High Performance Computing 1999; 422-428."},{"key":"10.1002\/1099-1689(200012)10:4<203::AID-STVR212>3.0.CO;2-2-BIB4","first-page":"107","volume-title":"Applied Formal Methods","volume":"1641","author":"Bogdanov","year":"1999","unstructured":"Automated test set generation for statecharts. In Applied Formal Methods, Lecture Notes in Computer Science, vol. 1641, Springer-Verlag, 1999; 107-121."},{"key":"10.1002\/1099-1689(200012)10:4<203::AID-STVR212>3.0.CO;2-2-BIB5","first-page":"222","volume-title":"Proceedings of Computer Software and Applications Conference","author":"Kung","year":"1994","unstructured":"On object state testing. In Proceedings of Computer Software and Applications Conference 1994; 222-227."},{"key":"10.1002\/1099-1689(200012)10:4<203::AID-STVR212>3.0.CO;2-2-BIB6","first-page":"273","volume-title":"Test selection from UML statecharts. In Proceedings of the 31st International Conference on Technology of Object-oriented Languages and Systems","author":"Li","year":"1999","unstructured":"Test selection from UML statecharts. In Proceedings of the 31st International Conference on Technology of Object-oriented Languages and Systems, 1999; 273-279."},{"key":"10.1002\/1099-1689(200012)10:4<203::AID-STVR212>3.0.CO;2-2-BIB7","volume-title":"Proceedings of the 2nd International Conference on the Unified Modeling Language","author":"Offutt","year":"1999","unstructured":"Generating tests from UML specifications. In Proceedings of the 2nd International Conference on the Unified Modeling Language, 1999."},{"key":"10.1002\/1099-1689(200012)10:4<203::AID-STVR212>3.0.CO;2-2-BIB8","doi-asserted-by":"crossref","first-page":"1483","DOI":"10.1109\/32.6194","volume":"14","author":"Frankl","year":"1988","journal-title":"IEEE Transactions on Software Engineering"},{"key":"10.1002\/1099-1689(200012)10:4<203::AID-STVR212>3.0.CO;2-2-BIB9","doi-asserted-by":"crossref","first-page":"367","DOI":"10.1109\/TSE.1985.232226","volume":"11","author":"Rapps","year":"1985","journal-title":"IEEE Transactions on Software Engineering"},{"key":"10.1002\/1099-1689(200012)10:4<203::AID-STVR212>3.0.CO;2-2-BIB10","doi-asserted-by":"crossref","first-page":"293","DOI":"10.1145\/235321.235322","volume":"5","author":"Harel","year":"1996","journal-title":"ACM Transactions on Software Engineering and Methodology"},{"key":"10.1002\/1099-1689(200012)10:4<203::AID-STVR212>3.0.CO;2-2-BIB11","first-page":"109","volume-title":"Proceedings of the 1994 International Symposium on Software Testing and Analysis","author":"von","year":"1994","unstructured":"Protocol testing: review of methods and relevance for software testing. In Proceedings of the 1994 International Symposium on Software Testing and Analysis 1994; 109-124."},{"key":"10.1002\/1099-1689(200012)10:4<203::AID-STVR212>3.0.CO;2-2-BIB12","doi-asserted-by":"crossref","first-page":"348","DOI":"10.1007\/3-540-61474-5_82","volume-title":"Computer Aided Verification ?96","volume":"1102","author":"Fernandez","year":"1996","unstructured":"Using on-the-fly verification techniques for the generation of test suites. In Computer Aided Verification ?96, Lecture Notes in Computer Science, vol. 1102, Springer Verlag, 1996; 348-359."},{"key":"10.1002\/1099-1689(200012)10:4<203::AID-STVR212>3.0.CO;2-2-BIB13","volume-title":"Testing of Communicating Systems","volume":"10","author":"Grabowski","year":"1997","unstructured":"Applying SAM-STAG to the B-ISDN protocol SSCOP. In Testing of Communicating Systems, vol. 10, Chapman & Hall, 1997."},{"key":"10.1002\/1099-1689(200012)10:4<203::AID-STVR212>3.0.CO;2-2-BIB14","author":"Huang","unstructured":"Validation based test sequence generation for networks of EFSMs. In Proceedings of IFIP FORTE\/PSTV ?96."},{"key":"10.1002\/1099-1689(200012)10:4<203::AID-STVR212>3.0.CO;2-2-BIB15","author":"Kerbrat","year":"1999","unstructured":"Automated test generation from SDL specifications. In Proceedings of SDL Forum 1999; 135-151."},{"key":"10.1002\/1099-1689(200012)10:4<203::AID-STVR212>3.0.CO;2-2-BIB16","author":"Miller","unstructured":"Generating conformance test sequences for combined control and data flow of communication protocols. In Proceedings of PSTV?92; 13-27."},{"key":"10.1002\/1099-1689(200012)10:4<203::AID-STVR212>3.0.CO;2-2-BIB17","doi-asserted-by":"crossref","first-page":"518","DOI":"10.1109\/TSE.1987.233197","volume":"13","author":"Sarikaya","year":"1987","journal-title":"IEEE Transactions on Software Engineering"},{"key":"10.1002\/1099-1689(200012)10:4<203::AID-STVR212>3.0.CO;2-2-BIB18","doi-asserted-by":"crossref","first-page":"234","DOI":"10.1016\/0140-3664(87)90137-X","volume":"10","author":"Ural","year":"1987","journal-title":"Computer Communications"},{"key":"10.1002\/1099-1689(200012)10:4<203::AID-STVR212>3.0.CO;2-2-BIB19","doi-asserted-by":"crossref","first-page":"514","DOI":"10.1109\/26.81739","volume":"39","author":"Ural","year":"1991","journal-title":"IEEE Transactions on Communications"},{"key":"10.1002\/1099-1689(200012)10:4<203::AID-STVR212>3.0.CO;2-2-BIB20","first-page":"339","volume-title":"Proceedings of IFIP 6th International Conference on Formal Description Techniques, FORTE?93","author":"Ural","unstructured":"Test generation by exposing control and data dependencies within system specifications in SDL. In Proceedings of IFIP 6th International Conference on Formal Description Techniques, FORTE?93; 339-354."},{"key":"10.1002\/1099-1689(200012)10:4<203::AID-STVR212>3.0.CO;2-2-BIB21","unstructured":"ITU-T, Recommendation X. 904 ? Information Technology ? Open Distributed Processing ? Reference Model: Architectural Semantics, December 1997."},{"key":"10.1002\/1099-1689(200012)10:4<203::AID-STVR212>3.0.CO;2-2-BIB22","doi-asserted-by":"crossref","first-page":"498","DOI":"10.1109\/32.708566","volume":"24","author":"Chan","year":"1998","journal-title":"IEEE Transactions on Software Engineering"},{"key":"10.1002\/1099-1689(200012)10:4<203::AID-STVR212>3.0.CO;2-2-BIB23","doi-asserted-by":"crossref","first-page":"87","DOI":"10.1016\/0167-6423(92)90005-V","volume":"19","author":"Berry","year":"1992","journal-title":"Science of Computer Programming"},{"key":"10.1002\/1099-1689(200012)10:4<203::AID-STVR212>3.0.CO;2-2-BIB24","doi-asserted-by":"crossref","first-page":"231","DOI":"10.1145\/234426.234431","volume":"5","author":"Heitmeyer","year":"1996","journal-title":"ACM Transactions on Software Engineering and Methodology"},{"key":"10.1002\/1099-1689(200012)10:4<203::AID-STVR212>3.0.CO;2-2-BIB25","unstructured":"UML Proposal to the Object Management Group Version 1.1, Rational Corporation, September 1997. http:\/\/www.rational.com\/uml\/"},{"key":"10.1002\/1099-1689(200012)10:4<203::AID-STVR212>3.0.CO;2-2-BIB26","doi-asserted-by":"crossref","first-page":"202","DOI":"10.1109\/32.221133","volume":"19","author":"Frankl","year":"1993","journal-title":"IEEE Transactions on Software Engineering"},{"key":"10.1002\/1099-1689(200012)10:4<203::AID-STVR212>3.0.CO;2-2-BIB27","doi-asserted-by":"crossref","first-page":"684","DOI":"10.1109\/32.317428","volume":"30","author":"Leveson","year":"1994","journal-title":"IEEE Transactions on Software Engineering"},{"key":"10.1002\/1099-1689(200012)10:4<203::AID-STVR212>3.0.CO;2-2-BIB28","doi-asserted-by":"crossref","first-page":"591","DOI":"10.1007\/3-540-55092-5_32","volume-title":"Proceedings of Formal Techniques in Real-Time and Fault-Tolerant Systems","volume":"571","author":"Kesten","year":"1992","unstructured":"Timed and hybrid statecharts and their textual representation. In Proceedings of Formal Techniques in Real-Time and Fault-Tolerant Systems, Lecture Notes in Computer Science, vol. 571, Springer Verlag, 1992; 591-620."}],"container-title":["Software Testing, Verification and Reliability"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.wiley.com\/onlinelibrary\/tdm\/v1\/articles\/10.1002%2F1099-1689(200012)10:4%3C203::AID-STVR212%3E3.0.CO;2-2","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/onlinelibrary.wiley.com\/doi\/full\/10.1002\/1099-1689(200012)10:4%3C203::AID-STVR212%3E3.0.CO;2-2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,7,1]],"date-time":"2021-07-01T06:15:15Z","timestamp":1625120115000},"score":1,"resource":{"primary":{"URL":"https:\/\/onlinelibrary.wiley.com\/doi\/10.1002\/1099-1689(200012)10:4<203::AID-STVR212>3.0.CO;2-2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000,12]]},"references-count":28,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2000,12]]}},"URL":"https:\/\/doi.org\/10.1002\/1099-1689(200012)10:4<203::aid-stvr212>3.0.co;2-2","relation":{},"ISSN":["0960-0833","1099-1689"],"issn-type":[{"value":"0960-0833","type":"print"},{"value":"1099-1689","type":"electronic"}],"subject":[],"published":{"date-parts":[[2000,12]]}}}