{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,31]],"date-time":"2025-12-31T07:56:04Z","timestamp":1767167764108,"version":"build-2238731810"},"reference-count":10,"publisher":"World Scientific Pub Co Pte Ltd","issue":"02","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Int. J. Soft. Eng. Knowl. Eng."],"published-print":{"date-parts":[[2000,4]]},"abstract":"<jats:p>This paper presents a method for test scenario generation based on formal specifications and usage profiles. It is a major component of a framework for testing object-oriented programs. In this framework, the requirements of a software system are formally specified. The anticipated application of the system is expressed in a usage profile, which is a state model that indicates the dynamic behavior of the system and execution probabilities for the behaviors. The state model is used as a guide to derive the anticipated operation scenarios. An enhanced state transition diagram is used to represent the state model, which incorporates hierarchy, usage and parameter information. Since the number of feasible scenarios can be extremely large, probability and importance criteria are used to select the most probable and important scenarios.<\/jats:p>","DOI":"10.1142\/s0218194000000110","type":"journal-article","created":{"date-parts":[[2003,4,22]],"date-time":"2003-04-22T07:43:09Z","timestamp":1050997389000},"page":"185-201","source":"Crossref","is-referenced-by-count":4,"title":["TEST SCENARIO GENERATION BASED ON FORMAL SPECIFICATION AND USAGE PROFILE"],"prefix":"10.1142","volume":"10","author":[{"given":"KAI H.","family":"CHANG","sequence":"first","affiliation":[{"name":"Department of Computer Science and Software Engineering, Auburn University, Auburn, AL 36849, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"SHIH-SUNG","family":"LIAO","sequence":"additional","affiliation":[{"name":"Department of Computer Science and Software Engineering, Auburn University, Auburn, AL 36849, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"RICHARD","family":"CHAPMAN","sequence":"additional","affiliation":[{"name":"Department of Computer Science and Software Engineering, Auburn University, Auburn, AL 36849, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"CHUN-YU","family":"CHEN","sequence":"additional","affiliation":[{"name":"Department of Computer Science and Software Engineering, Auburn University, Auburn, AL 36849, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"219","published-online":{"date-parts":[[2012,4,30]]},"reference":[{"key":"p_2","doi-asserted-by":"crossref","first-page":"51","DOI":"10.1007\/978-1-4471-3452-7_4","author":"Carrington D.","year":"1994","journal-title":"Workshops in Computing Series: Z User Workshop, Springer-Verlag"},{"key":"p_3","author":"Chang K. H.","year":"1998","journal-title":"Journal of Systems and Software, to appear in"},{"key":"p_4","first-page":"44","author":"Cobb R. H.","year":"1990","journal-title":"IEEE Software"},{"key":"p_7","doi-asserted-by":"publisher","DOI":"10.1109\/32.238581"},{"key":"p_11","first-page":"14","author":"Musa J. D.","year":"1994","journal-title":"IEEE Software"},{"key":"p_12","first-page":"166","author":"Rafsanjani G.-H. B.","year":"1992","journal-title":"Workshops in Computing Series: Z User Workshop, Springer-Verlag"},{"key":"p_13","first-page":"105","author":"Richardson D. J.","year":"1992","journal-title":"Proc. 14th Int. Conf. on Software Engineering"},{"key":"p_17","first-page":"405","author":"Stocks P. A.","year":"1993","journal-title":"Proc. 15th Int. Conf. on Software Engineering, Los Alamitos, CA"},{"key":"p_18","doi-asserted-by":"publisher","DOI":"10.1145\/151299.151326"},{"key":"p_19","doi-asserted-by":"publisher","DOI":"10.1109\/32.295896"}],"container-title":["International Journal of Software Engineering and Knowledge Engineering"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.worldscientific.com\/doi\/pdf\/10.1142\/S0218194000000110","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,8,6]],"date-time":"2019-08-06T11:49:45Z","timestamp":1565092185000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.worldscientific.com\/doi\/abs\/10.1142\/S0218194000000110"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000,4]]},"references-count":10,"aliases":["10.1016\/s0218-1940(00)00011-0"],"journal-issue":{"issue":"02","published-online":{"date-parts":[[2012,4,30]]},"published-print":{"date-parts":[[2000,4]]}},"alternative-id":["10.1142\/S0218194000000110"],"URL":"https:\/\/doi.org\/10.1142\/s0218194000000110","relation":{},"ISSN":["0218-1940","1793-6403"],"issn-type":[{"value":"0218-1940","type":"print"},{"value":"1793-6403","type":"electronic"}],"subject":[],"published":{"date-parts":[[2000,4]]}}}