{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,1]],"date-time":"2025-03-01T17:40:02Z","timestamp":1740850802202,"version":"3.38.0"},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540213789"},{"type":"electronic","value":"9783540246534"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-24653-4_19","type":"book-chapter","created":{"date-parts":[[2011,1,12]],"date-time":"2011-01-12T15:08:30Z","timestamp":1294844910000},"page":"178-187","source":"Crossref","is-referenced-by-count":0,"title":["A Scenario-Based Approach to Protocol Design Using Evolutionary Techniques"],"prefix":"10.1007","author":[{"given":"S\u00e9rgio G.","family":"Ara\u00fajo","sequence":"first","affiliation":[]},{"given":"Ant\u00f4nio C.","family":"Mesquita","sequence":"additional","affiliation":[]},{"given":"Aloysio C. P.","family":"Pedroza","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"1","key":"19_CR1","doi-asserted-by":"publisher","first-page":"61","DOI":"10.1023\/A:1025890110119","volume":"24","author":"D. Amyot","year":"2003","unstructured":"Amyot, D., Eberlein, A.: An Evaluation of Scenario Notations and Construction Approaches for Telecommunication Systems Development. Telecommunications Systems Journal\u00a024(1), 61\u201394 (2003)","journal-title":"Telecommunications Systems Journal"},{"key":"19_CR2","unstructured":"Kr\u00fcger, I.H.: Distributed System Design with Message Sequence Charts, PhD Thesis, Technische Universit\u00e4t M\u00fcnchen (2000)"},{"issue":"1","key":"19_CR3","doi-asserted-by":"publisher","first-page":"87","DOI":"10.1109\/52.646888","volume":"15","author":"K. Koskimies","year":"1998","unstructured":"Koskimies, K., M\u00e4nnist\u00f6, T., Syst\u00e4, T., Toumi, J.: Automated Support for Modeling OO Software. IEEE Software\u00a015(1), 87\u201394 (1998)","journal-title":"IEEE Software"},{"key":"19_CR4","unstructured":"Syst\u00e4, T.: Static and Dynamic Reverse Engineering Techniques for Java Software Systems, PhD Thesis, University of Tempere (2000)"},{"key":"19_CR5","first-page":"14","volume":"4","author":"L. Fogel","year":"1962","unstructured":"Fogel, L.: Autonomous Automata. Industrial Research\u00a04, 14\u201319 (1962)","journal-title":"Industrial Research"},{"key":"19_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"98","DOI":"10.1007\/BFb0057611","volume-title":"Evolvable Systems: From Biology to Hardware","author":"C. Manovit","year":"1998","unstructured":"Manovit, C., Aporntewan, C., Chongstitvatana, P.: Synthesis of Synchronous Sequential Logic Circuits from Partial Input\/Output Sequences. In: Sipper, M., Mange, D., P\u00e9rez-Uribe, A. (eds.) ICES 1998. LNCS, vol.\u00a01478, pp. 98\u2013105. Springer, Heidelberg (1998)"},{"key":"19_CR7","volume-title":"Proceedings of the 1st Int. Conf. on Simulation of Adaptive Behavior","author":"R. Collins","year":"1991","unstructured":"Collins, R., Jefferson, D.: Representation for Artificial Organisms. In: Proceedings of the 1st Int. Conf. on Simulation of Adaptive Behavior, MIT Press, Cambridge (1991)"},{"key":"19_CR8","doi-asserted-by":"crossref","unstructured":"Chongstitvatana, P., Aporntewan, C.: Improving Correctness of Finite-State Machine Synthesis from Multiple Partial Input\/Output Sequences. In: Proceedings of the 1st NASA\/DoD Workshop on Evolvable Hardware, pp. 262\u2013266 (1999)","DOI":"10.1109\/EH.1999.785463"},{"key":"19_CR9","doi-asserted-by":"publisher","first-page":"109","DOI":"10.1145\/186258.187153","volume-title":"ISSTA 1994","author":"G. Bockmann","year":"1994","unstructured":"Bockmann, G., Petrenko, A.: Protocol Testing: A Review of Methods and Relevance for Software Testing. In: ISSTA 1994, pp. 109\u2013124. ACM, Seattle (1994)"},{"key":"19_CR10","volume-title":"Genetic Programming: On the Programming of Computers by Means of Natural Selection","author":"J. Koza","year":"1992","unstructured":"Koza, J.: Genetic Programming: On the Programming of Computers by Means of Natural Selection. MIT Press, Cambridge (1992)"},{"key":"19_CR11","unstructured":"H\u00f6rner, H.: A C++ Class Library for Genetic Programming, Release 1.0 Operating Instructions, Viena University of Economy (1996)"},{"issue":"4","key":"19_CR12","doi-asserted-by":"publisher","first-page":"468","DOI":"10.1109\/12.88466","volume":"40","author":"R. Probert","year":"1991","unstructured":"Probert, R., Saleh, K.: Synthesis of Protocols: Survey and Assessment. IEEE Transactions on Computers\u00a040(4), 468\u2013476 (1991)","journal-title":"IEEE Transactions on Computers"},{"issue":"7","key":"19_CR13","doi-asserted-by":"publisher","first-page":"643","DOI":"10.1002\/spe.4380240704","volume":"24","author":"K. Koskimies","year":"1994","unstructured":"Koskimies, K., M\u00e4kinen, E.: Automatic Synthesis of State Machines from Trace Diagrams. Software Practice and Experience\u00a024(7), 643\u2013658 (1994)","journal-title":"Software Practice and Experience"}],"container-title":["Lecture Notes in Computer Science","Applications of Evolutionary Computing"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-24653-4_19.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,1]],"date-time":"2025-03-01T17:11:26Z","timestamp":1740849086000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-24653-4_19"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540213789","9783540246534"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-24653-4_19","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]}}}