{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T11:01:50Z","timestamp":1725620510736},"publisher-location":"New York, NY, USA","reference-count":19,"publisher":"ACM","content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2008,5,11]]},"DOI":"10.1145\/1370042.1370049","type":"proceedings-article","created":{"date-parts":[[2008,5,15]],"date-time":"2008-05-15T14:35:39Z","timestamp":1210862139000},"page":"25-32","update-policy":"http:\/\/dx.doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":2,"title":["An EFSM-based test generation for validation of SDL specifications"],"prefix":"10.1145","author":[{"given":"W. Eric","family":"Wong","sequence":"first","affiliation":[{"name":"University of Texas at Dallas, Richardson, TX, USA"}]},{"given":"Andy","family":"Restrepo","sequence":"additional","affiliation":[{"name":"University of Texas at Dallas, Richardson, TX, USA"}]},{"given":"Yu","family":"Qi","sequence":"additional","affiliation":[{"name":"University of Texas at Dallas, Richardson, TX, USA"}]},{"given":"Byoungju","family":"Choi","sequence":"additional","affiliation":[{"name":"Ewha Womans University, Seoul, South Korea"}]}],"member":"320","published-online":{"date-parts":[[2008,5,11]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/174675.175935"},{"key":"e_1_3_2_1_2_1","first-page":"405","volume-title":"Proceedings of the 9th SDL Forum","author":"Bourhfir C.","year":"1999","unstructured":"C. Bourhfir , R. Dssouli , E. M. Aboulhamid , and N. Rico . A test case generation tool for conformance testing of SDL specifications . Proceedings of the 9th SDL Forum , pp. 405 -- 419 , Montreal, Canada , June 1999 C. Bourhfir, R. Dssouli, E. M. Aboulhamid, and N. Rico. A test case generation tool for conformance testing of SDL specifications. Proceedings of the 9th SDL Forum, pp.405--419, Montreal, Canada, June 1999"},{"key":"e_1_3_2_1_3_1","first-page":"267","volume-title":"Proceedings of the 3rd SDL Forum","author":"Bromstrup L.","year":"1989","unstructured":"L. Bromstrup , D. Hogrefe . TESDL : Experience with generating test cases from SDL specifications . In Proceedings of the 3rd SDL Forum , pp. 267 -- 279 , 1989 L. Bromstrup, D. Hogrefe. TESDL: Experience with generating test cases from SDL specifications. In Proceedings of the 3rd SDL Forum, pp. 267--279, 1989"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1002\/1097-024X(200009)30:11%3C1203::AID-SPE338%3E3.3.CO;2-E"},{"key":"e_1_3_2_1_5_1","first-page":"373","volume-title":"Proceedings of FORTE'92","author":"Kristoffersen F.","year":"1992","unstructured":"F. Kristoffersen , L. Verhaard , and M. Zeeberg . Test derivation for SDL based on ACTs . Proceedings of FORTE'92 , Lannion, France , pp. 373 -- 388 , 1992 F. Kristoffersen, L. Verhaard, and M. Zeeberg. Test derivation for SDL based on ACTs. Proceedings of FORTE'92, Lannion, France, pp. 373--388, 1992"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1109\/12.272431"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1109\/5.533956"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.5555\/863631.880505"},{"key":"e_1_3_2_1_9_1","first-page":"313","volume-title":"Proceedings of 5th SDL Forum","author":"Luo G.","year":"1991","unstructured":"G. Luo , A. Das , and G. Bochmann . Software test selection based on SDL specification with Save . In Proceedings of 5th SDL Forum , pp. 313 -- 324 , 1991 G. Luo, A. Das, and G. Bochmann. Software test selection based on SDL specification with Save. In Proceedings of 5th SDL Forum, pp. 313--324, 1991"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1109\/EURCON.2001.938179"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1002\/spe.4380250705"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1007\/11759744_9"},{"key":"e_1_3_2_1_13_1","unstructured":"SDL Forum Society. http:\/\/www.sdl-forum.org SDL Forum Society. http:\/\/www.sdl-forum.org"},{"key":"e_1_3_2_1_14_1","unstructured":"Telelogic Tau 4.6 Telelogic Inc. Malm\u00f6 Sweden 2007 Telelogic Tau 4.6 Telelogic Inc. Malm\u00f6 Sweden 2007"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0140-3664(99)00227-3"},{"key":"e_1_3_2_1_16_1","volume-title":"Proceedings of The 10th ISSAT International Conference on Reliability and Quality in Design","author":"Wong W. E.","year":"2004","unstructured":"W. E. Wong and K. Cooper . AGES: Automatic Generation of EFSMs from SDL Specifications . In Proceedings of The 10th ISSAT International Conference on Reliability and Quality in Design , Las Vegas, Nevada , August 2004 W. E. Wong and K. Cooper. AGES: Automatic Generation of EFSMs from SDL Specifications. In Proceedings of The 10th ISSAT International Conference on Reliability and Quality in Design, Las Vegas, Nevada, August 2004"},{"key":"e_1_3_2_1_17_1","unstructured":"W. E. Wong and Y. Lei. Reachability Graph-Based Test Sequence Generation for Concurrent Programs. International Journal of Software Engineering and Knowledge Engineering (accepted for publication) W. E. Wong and Y. Lei. Reachability Graph-Based Test Sequence Generation for Concurrent Programs. International Journal of Software Engineering and Knowledge Engineering (accepted for publication)"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1016\/S1389-1286(03)00248-2"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1142\/S0218194001000487"}],"event":{"name":"ICSE '08: International Conference on Software Engineering","sponsor":["ACM Association for Computing Machinery","SIGSOFT ACM Special Interest Group on Software Engineering"],"location":"Leipzig Germany","acronym":"ICSE '08"},"container-title":["Proceedings of the 3rd international workshop on Automation of software test"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1370042.1370049","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,1,12]],"date-time":"2023-01-12T00:01:00Z","timestamp":1673481660000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1370042.1370049"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008,5,11]]},"references-count":19,"alternative-id":["10.1145\/1370042.1370049","10.1145\/1370042"],"URL":"https:\/\/doi.org\/10.1145\/1370042.1370049","relation":{},"subject":[],"published":{"date-parts":[[2008,5,11]]},"assertion":[{"value":"2008-05-11","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}