{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,9]],"date-time":"2025-10-09T20:55:07Z","timestamp":1760043307274,"version":"3.41.0"},"reference-count":22,"publisher":"Association for Computing Machinery (ACM)","issue":"4","license":[{"start":{"date-parts":[[2005,5,15]],"date-time":"2005-05-15T00:00:00Z","timestamp":1116115200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["SIGSOFT Softw. Eng. Notes"],"published-print":{"date-parts":[[2005,7]]},"abstract":"<jats:p>This paper suggests an approach to automatic scenario generation from environment models for testing of real-time reactive systems. The behavior of the system is defined as a set of events (event trace) with two basic relations: precedence and inclusion. The attributed event grammar (AEG) specifies possible event traces and provides a uniform approach for automatically generating, executing, and analyzing test cases. The environment model includes a description of hazardous states in which the system may arrive and makes it possible to gather statistics for system safety assessment. The approach is supported by a generator that creates test cases from the AEG models. We demonstrate the approach with case studies of prototypes for the safety-critical computer-assisted resuscitation algorithm (CARA) software for a casualty intravenous fluid infusion pump and the Paderborn Shuttle System.<\/jats:p>","DOI":"10.1145\/1082983.1083284","type":"journal-article","created":{"date-parts":[[2005,11,7]],"date-time":"2005-11-07T19:28:32Z","timestamp":1131391712000},"page":"1-6","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":5,"title":["Environment behavior models for scenario generation and testing automation"],"prefix":"10.1145","volume":"30","author":[{"given":"Mikhail","family":"Auguston","sequence":"first","affiliation":[{"name":"Naval Postgraduate School, Monterey, CA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"James Bret","family":"Michael","sequence":"additional","affiliation":[{"name":"Naval Postgraduate School, Monterey, CA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Man-Tak","family":"Shing","sequence":"additional","affiliation":[{"name":"Naval Postgraduate School, Monterey, CA"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2005,5,15]]},"reference":[{"key":"e_1_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10009-003-0132-7"},{"key":"e_1_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.5555\/998675.999423"},{"key":"e_1_2_1_3_1","first-page":"108","volume-title":"Proc. Sixth Int. Conf. on Software Engineering & Knowledge Engineering, Skokie, Ill., Knowledge Systems Inc.","author":"Auguston M.","year":"1994","unstructured":"{A1} Auguston , M. A language for debugging automation, in Chang, S. K., ed ., Proc. Sixth Int. Conf. on Software Engineering & Knowledge Engineering, Skokie, Ill., Knowledge Systems Inc. , June 1994 , pp. 108 -- 115 . {A1} Auguston, M. A language for debugging automation, in Chang, S. K., ed., Proc. Sixth Int. Conf. on Software Engineering & Knowledge Engineering, Skokie, Ill., Knowledge Systems Inc., June 1994, pp. 108--115."},{"key":"e_1_2_1_4_1","first-page":"23","volume-title":"Proc. 7th Monterey Workshop: Modeling Software System Structures in a Fastly Moving Scenario, (Santa Margherita Ligure","author":"Auguston M.","year":"2000","unstructured":"{A2} Auguston , M. Lightweight semantics models for program testing and debugging automation , in Proc. 7th Monterey Workshop: Modeling Software System Structures in a Fastly Moving Scenario, (Santa Margherita Ligure , Italy , June 2000 ), pp. 23 -- 31 . {A2} Auguston, M. Lightweight semantics models for program testing and debugging automation, in Proc. 7th Monterey Workshop: Modeling Software System Structures in a Fastly Moving Scenario, (Santa Margherita Ligure, Italy, June 2000), pp. 23--31."},{"key":"e_1_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.5555\/786769.787013"},{"key":"e_1_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1109\/HASE.2000.895467"},{"key":"e_1_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/566172.566191"},{"key":"e_1_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1109\/DASC.1998.741501"},{"key":"e_1_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/226295.226303"},{"key":"e_1_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/302405.302640"},{"key":"e_1_2_1_11_1","first-page":"389","article-title":"Abbott PCA Plus II - Patient controlled analgesic pumps prone to misprogramming, resulting in narcotic overinfusions","volume":"26","author":"Hazard Report","year":"1997","unstructured":"{EC} ECRI. Hazard Report . Abbott PCA Plus II - Patient controlled analgesic pumps prone to misprogramming, resulting in narcotic overinfusions , J. Health Devices 26 ( 1997 ), pp. 389 -- 391 . {EC} ECRI. Hazard Report. Abbott PCA Plus II - Patient controlled analgesic pumps prone to misprogramming, resulting in narcotic overinfusions, J. Health Devices 26 (1997), pp. 389--391.","journal-title":"J. Health Devices"},{"key":"e_1_2_1_12_1","first-page":"230","volume-title":"Proc. Monterey Workshop, Monterey, Calif.: Naval Postgraduate School (Monterey, Calif.","author":"Hong H. S.","year":"2001","unstructured":"{HL} Hong , H. S. and Lee , I . Automatic test generation from specifications for control-flow and data-flow coverage criteria , in Proc. Monterey Workshop, Monterey, Calif.: Naval Postgraduate School (Monterey, Calif. , June 2001 ), pp. 230 -- 246 . {HL} Hong, H. S. and Lee, I. Automatic test generation from specifications for control-flow and data-flow coverage criteria, in Proc. Monterey Workshop, Monterey, Calif.: Naval Postgraduate School (Monterey, Calif., June 2001), pp.230--246."},{"key":"e_1_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-39979-7_19"},{"key":"e_1_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.5555\/227726.227740"},{"key":"e_1_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.5555\/945406.938299"},{"key":"e_1_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1109\/52.56422"},{"key":"e_1_2_1_17_1","first-page":"1","article-title":"Differential testing for software","volume":"10","author":"McKeeman W. M","year":"1998","unstructured":"{MK} McKeeman , W. M . Differential testing for software , Digital Tech. J. 10 , 1 ( 1998 ), pp. 100--107. {MK} McKeeman, W. M. Differential testing for software, Digital Tech. J. 10, 1 (1998), pp. 100--107.","journal-title":"Digital Tech. J."},{"key":"e_1_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/210376.197409"},{"key":"e_1_2_1_19_1","unstructured":"{PA} Paderborn Shuttle System Case Study at http:\/\/wwwcs.upb.de\/cs\/ag-schaefer\/CaseStudies\/ShuttleSystem\/  {PA} Paderborn Shuttle System Case Study at http:\/\/wwwcs.upb.de\/cs\/ag-schaefer\/CaseStudies\/ShuttleSystem\/"},{"key":"e_1_2_1_20_1","volume-title":"Sept.","author":"So","year":"1997","unstructured":"{ So } Software Safety , NASA Technical Standard. NASA-STD-8719.13A , Sept. 1997 , http:\/\/satc.gsfc.nasa.gov\/assure\/nss8719_13.html. {So} Software Safety, NASA Technical Standard. NASA-STD-8719.13A, Sept. 1997, http:\/\/satc.gsfc.nasa.gov\/assure\/nss8719_13.html."},{"key":"e_1_2_1_21_1","volume-title":"Md.","author":"Dept","year":"2001","unstructured":"{WI} WRAIR Dept . of Resuscitative Medicine, Narrative Description of the CARA software, proprietary document, WRAIR, Silver Spring , Md. , Jan 2001 . {WI} WRAIR Dept. of Resuscitative Medicine, Narrative Description of the CARA software, proprietary document, WRAIR, Silver Spring, Md., Jan 2001."},{"key":"e_1_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1109\/32.328996"}],"container-title":["ACM SIGSOFT Software Engineering Notes"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1082983.1083284","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1082983.1083284","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T16:08:14Z","timestamp":1750262894000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1082983.1083284"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005,5,15]]},"references-count":22,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2005,7]]}},"alternative-id":["10.1145\/1082983.1083284"],"URL":"https:\/\/doi.org\/10.1145\/1082983.1083284","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/1083274.1083284","asserted-by":"subject"}]},"ISSN":["0163-5948"],"issn-type":[{"type":"print","value":"0163-5948"}],"subject":[],"published":{"date-parts":[[2005,5,15]]},"assertion":[{"value":"2005-05-15","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}