{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,3]],"date-time":"2026-03-03T10:15:34Z","timestamp":1772532934245,"version":"3.50.1"},"reference-count":21,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/pccc.2003.1203716","type":"proceedings-article","created":{"date-parts":[[2003,10,31]],"date-time":"2003-10-31T14:39:17Z","timestamp":1067611157000},"page":"335-342","source":"Crossref","is-referenced-by-count":8,"title":["Scenario-based test case generation for state-based embedded systems"],"prefix":"10.1109","author":[{"given":"W.T.","family":"Tsai","sequence":"first","affiliation":[]},{"given":"L.","family":"Yu","sequence":"additional","affiliation":[]},{"given":"X.X.","family":"Liu","sequence":"additional","affiliation":[]},{"given":"A.","family":"Saimi","sequence":"additional","affiliation":[]},{"given":"Y.","family":"Xiao","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref10","author":"maruyama","year":"1999","journal-title":"XML and Java Developing Web Applications"},{"key":"ref11","first-page":"168","article-title":"The Automatic Test Case Data Generator","author":"poston","year":"1986","journal-title":"Proceedings of 4th Annual Pacific Northwest Software Quality Assurance Conference"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.1993.346037"},{"key":"ref13","first-page":"38","article-title":"A Computer System for Generating Test Data using the Domain Strategy","author":"white","year":"1985","journal-title":"Proc of SOFTAIR Conference on Software Development Tools Techniques and Alternatives"},{"key":"ref14","first-page":"380","article-title":"A Framework for Systematic Testing of Software Specifications","author":"tsai","year":"1993","journal-title":"Proc of International Conference on Software Engineering and Knowledge Engineering"},{"key":"ref15","first-page":"166","article-title":"Testing Extensible Design Patterns in Object-Oriented Frameworks through Hierarchical Scenario Templates","author":"tsai","year":"1999","journal-title":"Proc of IEEE COMPSAC"},{"key":"ref16","first-page":"496","article-title":"Scenario Based Functional Regression Testing","author":"tsai","year":"2001","journal-title":"Proc of IEEE COMPSAC"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/CMPSAC.2001.960613"},{"key":"ref18","article-title":"Developing Adaptive Test Frameworks for Testing State-based Embedded Systems","author":"tsai","year":"2002","journal-title":"Proc of IDPT"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/CMPSAC.2002.1045021"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/52.268953"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/ICSMC.1999.815651"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1093\/comjnl\/30.1.63"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1023\/A:1018938021528"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1049\/ip-sen:19990602"},{"key":"ref7","author":"jacobson","year":"1992","journal-title":"Object-Oriented Software Engineering A Use Case Driven Approach"},{"key":"ref2","first-page":"257","article-title":"Automatic Generation of Test Scripts from Formal Test Specifications","author":"balcer","year":"1990","journal-title":"Proceedings of the ACM SIGSOFT '89 Third Symposium on Software Testing Analysis and Verification"},{"key":"ref1","first-page":"140","article-title":"Scenario-Based Modeling and Its Applications to Object-Oriented Analysis, Design, and Testing","author":"bai","year":"2002","journal-title":"Proc of IEEE WORDS"},{"key":"ref9","first-page":"28","article-title":"Method Sequence Specification and Verification of Classes","author":"kirani","year":"1994","journal-title":"Journal of Object-Oriented Programming"},{"key":"ref20","author":"warmer","year":"1999","journal-title":"The Object Constraint Language Precise Modeling with UML"},{"key":"ref21","article-title":"A Requirement Verification Framework for Real-Time Embedded Systems","author":"zhu","year":"2002"}],"event":{"name":"IEEE International Performance, Computing, and Communications Conference","location":"Phoenix, AZ, USA","acronym":"PCCC-03"},"container-title":["Conference Proceedings of the 2003 IEEE International"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/8553\/27061\/01203716.pdf?arnumber=1203716","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,13]],"date-time":"2017-03-13T21:47:33Z","timestamp":1489441653000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1203716\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":21,"URL":"https:\/\/doi.org\/10.1109\/pccc.2003.1203716","relation":{},"subject":[]}}