{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,19]],"date-time":"2025-03-19T15:15:10Z","timestamp":1742397310155},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540008774"},{"type":"electronic","value":"9783540365730"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1007\/3-540-36573-7_10","type":"book-chapter","created":{"date-parts":[[2007,9,2]],"date-time":"2007-09-02T23:22:33Z","timestamp":1188775353000},"page":"141-157","source":"Crossref","is-referenced-by-count":4,"title":["Techniques for Abstracting SDL Specifications"],"prefix":"10.1007","author":[{"given":"Sergiy","family":"Boroday","sequence":"first","affiliation":[]},{"given":"Roland","family":"Groz","sequence":"additional","affiliation":[]},{"given":"Alex","family":"Petrenko","sequence":"additional","affiliation":[]},{"given":"Yves-Marie","family":"Quemener","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2003,3,14]]},"reference":[{"key":"10_CR1","unstructured":"v. Bochmann G., Das, A. Dssouli R., Dubuc M., Ghedamsi A., Luo G.: Fault Model in Testing. Proceedings of the IFIP IV Workshop on Protocol Test Systems; pp. 17\u201330, October 1991; Leidschendam, The Netherlands."},{"key":"10_CR2","doi-asserted-by":"crossref","unstructured":"Bozga M., Fernandez J.-Cl., Ghirvu L., Graf S., Krimm J.-P., Mounier L., Sifakis J.: IF: An Intermediate Representation for SDL and its Applications. Proceedings of SDLFORUM 1999; pp. 423\u2013440, June 1999; Montreal, Canada.","DOI":"10.1016\/B978-044450228-5\/50028-X"},{"key":"10_CR3","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"164","DOI":"10.1007\/3-540-48294-6_11","volume-title":"State Space Reduction based on Live Variables Analysis","author":"M. Bozga","year":"1999","unstructured":"Bozga M., Fernandez J.-Cl., Ghirvu L.: State Space Reduction based on Live Variables Analysis. Proceeedings of SAS\u201999, Venice, Italy. LNCS 1694, pp. 164\u2013178, Springer Verlag."},{"key":"10_CR4","unstructured":"Bozga M.: V\u00e9rification symbolique pour les protocoles de communication. PhD Thesis, Grenoble University, 1999."},{"key":"10_CR5","doi-asserted-by":"crossref","unstructured":"Boroday S., Petrenko A., Groz R., and Quemener Y.-M.: Test Generation for CEFSM Combining Specification and Fault Coverage. Proceedings of IFIP 14th International Conference on Testing of Communicating Systems (TestCom 2002), pp. 355\u2013371, March 2002, Berlin, Germany, Kluwer.","DOI":"10.1007\/978-0-387-35497-2_25"},{"key":"10_CR6","unstructured":"Clark E., Grumberg O., and Peled D.: Model Checking. MIT, 1999."},{"key":"10_CR7","unstructured":"Cormen T., Leiserson C., Rivest R.: Introduction to Algorithms. MIT, 1992."},{"key":"10_CR8","doi-asserted-by":"crossref","unstructured":"Cousot P. and Cousot R.: Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints. 4th POPL, pp. 238\u2013252, Los Angeles, USA, 1977, ACM Press.","DOI":"10.1145\/512950.512973"},{"key":"10_CR9","volume-title":"Introduction to the Theory of Finite-State Machines","author":"A. Gill","year":"1962","unstructured":"Gill A.: Introduction to the Theory of Finite-State Machines, McGrawHill, New York, 1962."},{"issue":"9","key":"10_CR10","first-page":"1","volume":"20","author":"J. Grabowski","year":"1996","unstructured":"Grabowski J., Scheurer R., Toggweiler D., and Hogrefe D.: Dealing with the complexity of state space exploration algorithms for SDL systems. Arbeitsberichte des Instituts f\u00fcr mathematische Maschinen-und Datenverarbeitung (Mathematik), Proceedings of the 6th GI\/ITG Technical Meeting on Formal Description Techniques for Distributed Systems, June 20-21, 1996, pp. 1\u201310, Vol. 20, No. 9, University of Erlangen, Germany, May 1996.","journal-title":"Arbeitsberichte des Instituts f\u00fcr mathematische Maschinen-und Datenverarbeitung (Mathematik)"},{"key":"10_CR11","doi-asserted-by":"crossref","unstructured":"Kerbrat A., J\u00e9ron T., Groz R.: Automated test generation from SDL specifications. Proceedings of the 9th SDL Forum; pp 135\u2013151, June 1999; Montreal, Canada. Elsevier.","DOI":"10.1016\/B978-044450228-5\/50011-4"},{"key":"10_CR12","doi-asserted-by":"publisher","first-page":"11","DOI":"10.1007\/BF01384313","volume":"6","author":"C. Loiseaux","year":"1995","unstructured":"Loiseaux C., Graf S., Sifakis J., Bouajjani A., and Bensalem S.: Property Preserving Abstractions for the Verification of Concurrent Systems. Formal Methods in System Design, 6, pp. 11\u201344, 1995.","journal-title":"Formal Methods in System Design"},{"issue":"1","key":"10_CR13","doi-asserted-by":"publisher","first-page":"2","DOI":"10.1109\/12.656068","volume":"47","author":"D. Moundanos","year":"1998","unstructured":"Moundanos D, Abraham J. A., Hoskote Y.: Abtraction Techniques for Validation, Coverage Analysis and Test generation. IEEE Trans. on Computing, Vol. 47, No. 1, Jan. 1998, pp. 2\u201314.","journal-title":"IEEE Trans. on Computing"},{"issue":"1","key":"10_CR14","doi-asserted-by":"publisher","first-page":"151","DOI":"10.1109\/3468.477870","volume":"26","author":"K. N. Oikonomou","year":"1996","unstructured":"Oikonomou K. N.: Abstractions of Finite-state Machines and Optimality with Respect to Immediately-Detectable Next-State Faults. IEEE Transactions on Systems, Man, and Cybernetics, Part A, pp. 151\u2013160, Vol. 26, No.1, Jan. 1996.","journal-title":"IEEE Transactions on Systems, Man, and Cybernetics, Part A"},{"key":"10_CR15","series-title":"Lect Notes Comput Sci","first-page":"196","volume-title":"Fault Model-Driven Test Derivation from Finite State Models: Annotated Bibliography","author":"A. Petrenko","year":"2000","unstructured":"Petrenko A.: Fault Model-Driven Test Derivation from Finite State Models: Annotated Bibliography. LNCS 2067, Proceedings of the Summer School MOVEP\u20192000, Modeling and Verification of Parallel Processes; pp. 196\u2013205, June 2000; Nantes, France."},{"key":"10_CR16","doi-asserted-by":"crossref","unstructured":"Petrenko A., Boroday S., and Groz R.: Confirming configurations in EFSM. Proceedings of the IFIP Joint International Conference on Formal Description Techniques for Distributed Systems (FORTE XII) and Communication Protocols, and Protocol Specification, Testing, and Verification (PSTV XIX); pp. 5\u201324, October 1999, China. Kluwer.","DOI":"10.1007\/978-0-387-35578-8_1"},{"key":"10_CR17","doi-asserted-by":"crossref","unstructured":"Petrenko A. and Yevtushenko N.: Test Suite Generation for a FSM with a Given Type of Implementation Errors. Proceedings of the IFIP 12th International Symposium on Protocol Specification, Testing, and Verification; pp. 229\u2013243, 1992; USA. North-Holland.","DOI":"10.1016\/B978-0-444-89874-6.50021-0"},{"key":"10_CR18","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"338","DOI":"10.1007\/3-540-40911-4_20","volume-title":"An Approach to Symbolic Test Generation","author":"V. Rusu","year":"2000","unstructured":"Rusu V., du Bousquet L., and Jeron T.: An Approach to Symbolic Test Generation. International Conference on Integrating Formal Methods (IFM\u201900), Springer Verlag, LNCS 1945, pp. 338\u2013357, Novembre 2000."},{"issue":"3","key":"10_CR19","first-page":"121","volume":"3","author":"F. Tip","year":"1995","unstructured":"Tip F.: A survey of program slicing techniques. Journal of Programming Languages, 3(3), pp. 121\u2013189, September 1995.","journal-title":"Journal of Programming Languages"},{"key":"10_CR20","unstructured":"Wang X.: Abstraction of Variables in SDL. Master Thesis, McGill University, 2001."},{"key":"10_CR21","unstructured":"Yun H.: State abstraction in SDL. Master Thesis, Universit\u00e9 de Montr\u00e9al, 2001."}],"container-title":["Lecture Notes in Computer Science","Telecommunications and beyond: The BroaderApplicability of SDL and MSC"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-36573-7_10","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,2]],"date-time":"2019-05-02T19:38:24Z","timestamp":1556825904000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-36573-7_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"ISBN":["9783540008774","9783540365730"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/3-540-36573-7_10","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2003]]}}}