{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,25]],"date-time":"2025-03-25T14:41:01Z","timestamp":1742913661255,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":34,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540655978"},{"type":"electronic","value":"9783642601118"}],"license":[{"start":{"date-parts":[[1999,1,1]],"date-time":"1999-01-01T00:00:00Z","timestamp":915148800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[1999,1,1]],"date-time":"1999-01-01T00:00:00Z","timestamp":915148800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1999]]},"DOI":"10.1007\/978-3-642-60111-8_20","type":"book-chapter","created":{"date-parts":[[2011,10,11]],"date-time":"2011-10-11T02:39:13Z","timestamp":1318300753000},"page":"222-235","source":"Crossref","is-referenced-by-count":0,"title":["Incremental Test Case Generation for Distributed Object-Oriented Systems"],"prefix":"10.1007","author":[{"given":"Holger","family":"Fuchs","sequence":"first","affiliation":[]}],"member":"297","reference":[{"issue":"11","key":"20_CR1","doi-asserted-by":"publisher","first-page":"1604","DOI":"10.1109\/26.111442","volume":"39","author":"AV Aho","year":"1991","unstructured":"Aho, A.V.; Dahbura, A.T.; Lee, D.; Uyar, M. \u00dc.: An optimization technique for protocol conformance test generation based, on UIO sequences and rural Chinese postman tours; IEEE Transactions on Communications, vol. 39, no. 11, 1991, pp. 1604\u20131615.","journal-title":"IEEE Transactions on Communications"},{"key":"20_CR2","volume-title":"Distributed object oriented data-systems design","author":"PK Andleigh","year":"1992","unstructured":"Andleigh, P.K.; Gretzinger, M.R.: Distributed object oriented data-systems design. Prentice Hall, 1992."},{"key":"20_CR3","volume-title":"Object-Oriented Reuse, Concurrency and Distribution: an Ada-based approach","author":"C Atkinson","year":"1991","unstructured":"Atkinson, C.: Object-Oriented Reuse, Concurrency and Distribution: an Ada-based approach. Addison-Wesley, 1991."},{"key":"20_CR4","first-page":"792","volume-title":"Automatic protocol suite derivation","author":"ST Chanson","year":"1994","unstructured":"Chanson, S.T.; Zhu, J.: Automatic protocol suite derivation. Proceedings of INFOCOM \u201994 Conference on Computer Communications, vol. 2, 1994, pp. 792\u2013799."},{"issue":"1","key":"20_CR5","doi-asserted-by":"publisher","first-page":"91","DOI":"10.1145\/103162.103165","volume":"23","author":"RS Chin","year":"1991","unstructured":"Chin, R.S.; Chanson, S.T.: Distributed object-based programming systems. ACM Computing Surveys, vol. 23, no. 1, 1991, pp. 91\u2013124.","journal-title":"ACM Computing Surveys"},{"key":"20_CR6","volume-title":"Fundamentals of Software Engineering","author":"C Ghezzi","year":"1991","unstructured":"Ghezzi, C.; Jazayeri, M.; Mandrioli, D.: Fundamentals of Software Engineering; Prentice-Hall International; 1991."},{"key":"20_CR7","volume-title":"Object-Oriented Methods","author":"I Graham","year":"1994","unstructured":"Graham, I: Object-Oriented Methods. Addison-Wesley, 1994."},{"key":"20_CR8","first-page":"205","volume-title":"Testing of object-oriented programming (OOPS): A fault-based approach","author":"JH Hayes","year":"1992","unstructured":"Hayes, J.H.: Testing of object-oriented programming (OOPS): A fault-based approach. Proceedings of 14th ICSE, IEEE Press, 1992, pp. 205\u2013220."},{"issue":"5","key":"20_CR9","doi-asserted-by":"publisher","first-page":"154","DOI":"10.1145\/195274.195402","volume":"19","author":"MJ Harrold","year":"1994","unstructured":"Harrold, M.J., Rothermel, G.: Performing data flow testing on classes. SIGSOFT Software Engineering Notes, vol. 19, no. 5, 1994, pp. 154\u2013163.","journal-title":"SIGSOFT Software Engineering Notes"},{"issue":"5","key":"20_CR10","doi-asserted-by":"publisher","first-page":"573","DOI":"10.1002\/(SICI)1097-024X(199705)27:5<573::AID-SPE98>3.0.CO;2-3","volume":"27","author":"DM Hoffmann","year":"1997","unstructured":"Hoffmann, D.M.; Strooper, P. A.: ClassBench: a Framework for Automated Class Testing. Software-Practice and Experience, vol. 27, no. 5, 1997, pp. 573\u2013597.","journal-title":"Software-Practice and Experience"},{"key":"20_CR11","volume-title":"Design and validation of computer protocols","author":"GJ Holzmann","year":"1991","unstructured":"Holzmann, G.J.: Design and validation of computer protocols. Prentice-Hall, 1991."},{"issue":"9","key":"20_CR12","doi-asserted-by":"publisher","first-page":"30","DOI":"10.1145\/182987.182989","volume":"37","author":"PC Jorgensen","year":"1994","unstructured":"Jorgensen, P.C.; Erickson, C.: Object-oriented integration testing. Communications of the ACM, vol. 37, no. 9, 1994, pp. 30\u201333.","journal-title":"Communications of the ACM"},{"key":"20_CR13","volume-title":"Software testing-a craftsman\u2019s approach","author":"PC Jorgensen","year":"1995","unstructured":"Jorgensen, P.C.: Software testing-a craftsman\u2019s approach. CRC Press, 1995."},{"key":"20_CR14","doi-asserted-by":"crossref","first-page":"141","DOI":"10.1007\/978-0-387-35062-2_11","volume-title":"An approach for testing asynchronous communicating systems","author":"M Kim","year":"1996","unstructured":"Kim, M.; Chanson, S.T.; Kang, S.: An approach for testing asynchronous communicating systems. Proceedings of IWTCS\u201996, 1996, pp. 141\u2013155."},{"key":"20_CR15","first-page":"1580","volume-title":"Concurrency model and its application to formal specifications of asynchronous protocols","author":"MC Kim","year":"1995","unstructured":"Kim, M.C.; Chanson, S.T.; Kim, G.H.: Concurrency model and its application to formal specifications of asynchronous protocols. Proceedings of IEEE GLOBECOM, vol. 3, 1995, pp. 1580\u20134."},{"key":"20_CR16","volume-title":"Specification and verification of object-oriented programs","author":"S Kirani","year":"1994","unstructured":"Kirani, S.; Tsai, WT.: Specification and verification of object-oriented programs. Technical report, University of Minnesota, 1994."},{"key":"20_CR17","doi-asserted-by":"crossref","unstructured":"Kung, D.C.; Gao, J.; Hsia, P. et. al.: On regression testing of object-oriented programs. Journal of Systems and Software, vol. 32, no. l, 96, pp. 21\u201340.","DOI":"10.1016\/0164-1212(95)00047-X"},{"issue":"7","key":"20_CR18","doi-asserted-by":"publisher","first-page":"643","DOI":"10.1002\/spe.4380240704","volume":"24","author":"K Koskimies","year":"1994","unstructured":"Koskimies, K.; Makinen, E: Automatic synthesis of state machines from trace diagrams. Software Practice and Experience, vol. 24, no. 7, 1994, pp. 643\u2013658.","journal-title":"Software Practice and Experience"},{"issue":"10","key":"20_CR19","doi-asserted-by":"publisher","first-page":"75","DOI":"10.1145\/226239.226256","volume":"38","author":"D Kung","year":"1995","unstructured":"Kung, D.; Gao, J.; Toyoshima, Y. et. al.:Developing an Object-Oriented Software Testing and Maintenance environment. Communications of the ACM, vol. 38, no. 10, 1995, pp. 75\u201387.","journal-title":"Communications of the ACM"},{"key":"20_CR20","volume-title":"The craft of software testing-subsystem testing including object-based and object-oriented testing","author":"B Marick","year":"1995","unstructured":"Marick, B.: The craft of software testing-subsystem testing including object-based and object-oriented testing. Prentice Hall, 1995."},{"issue":"9","key":"20_CR21","doi-asserted-by":"publisher","first-page":"59","DOI":"10.1145\/182987.184075","volume":"37","author":"JD McGregor","year":"1994","unstructured":"McGregor, J.D.; Korson, T.D.: Integrating object-oriented testing and development processes. Communications of the ACM, vol. 37, no. 9, 1994, pp. 59\u201377.","journal-title":"Communications of the ACM"},{"key":"20_CR22","first-page":"101","volume-title":"Efficient on-the-fly analysis of program behavior and static cache simulation","author":"F Mueller","year":"1994","unstructured":"Mueller, F.; Whalley, D.B.; Le Charlier, B.:Efficient on-the-fly analysis of program behavior and static cache simulation. Proceedings of First International Static Analysis Symposium, SAS\u201994, Springer-Verlag, 1994, pp. 101\u201315."},{"issue":"9","key":"20_CR23","doi-asserted-by":"publisher","first-page":"48","DOI":"10.1145\/182987.182990","volume":"37","author":"GC Murphy","year":"1994","unstructured":"Murphy, G.C.; Townsend, P.; Pok, S.W.:Experiences with cluster and class testing. Communications of the ACM, vol. 37, no. 9, 1994, pp. 48\u201358.","journal-title":"Communications of the ACM"},{"key":"20_CR24","volume-title":"The Art of Software Testing","author":"GJ Myers","year":"1979","unstructured":"Myers, G.J.: The Art of Software Testing. John-Wiley & Sons, New York, U.S.A., 1979."},{"key":"20_CR25","volume-title":"Automating specification-based software testing","author":"RM Poston","year":"1996","unstructured":"Poston, R.M.: Automating specification-based software testing. IEEE Press, 1996."},{"key":"20_CR26","volume-title":"Software Testing","author":"M Roper","year":"1994","unstructured":"Roper, M.: Software Testing. McGraw-Hill Book Company, Berkshire, England, 1994."},{"key":"20_CR27","volume-title":"Object-Oriented Modeling and Design","author":"J Rumbaugh","year":"1991","unstructured":"Rumbaugh, J.; Blaha, M.; Premerlani, W.; Eddy, F.; Lorensen, W.:Object-Oriented Modeling and Design. Prentice Hall, 1991."},{"key":"20_CR28","volume-title":"Distributed object technology: concepts & applications","author":"TW Ryan","year":"1997","unstructured":"Ryan, T.W.: Distributed object technology: concepts & applications. Prentice Hall, 1997."},{"key":"20_CR29","volume-title":"Object oriented software testing","author":"S Siegel","year":"1996","unstructured":"Siegel, S.: Object oriented software testing. John Wiley & Sons, 1996."},{"issue":"3","key":"20_CR30","first-page":"45","volume":"5","author":"MD Smith","year":"1992","unstructured":"Smith, M.D.; Robson, D.J.: A framework for testing object-oriented programs, journal of object-oriented programming, vol. 5, no. 3, 1992, pp. 45\u201353.","journal-title":"journal of object-oriented programming"},{"key":"20_CR31","first-page":"955","volume-title":"Handbook of parallel and distributed computing","author":"KC Tai","year":"1995","unstructured":"Tai, K.C.; Carver, R.H.: Testing of distributed programs. Handbook of parallel and distributed computing, McGraw Hill, 1995, pp. 955\u2013978."},{"key":"20_CR32","doi-asserted-by":"publisher","first-page":"151","DOI":"10.1007\/978-3-642-60729-5_11","volume-title":"Kommunikation in verteilten systemen (KiVS\u201997)","author":"A Ulrich","year":"1997","unstructured":"Ulrich, A.: A Description model to support test suite derivation for concurrent systems. Kommunikation in verteilten systemen (KiVS\u201997), Springer Verlag, 1997, pp. 151\u2013166."},{"key":"20_CR33","doi-asserted-by":"crossref","unstructured":"Ural, H.: Testing sequence selection based on static dataflow analysis. Computer communication, 10(5), 1987.","DOI":"10.1016\/0140-3664(87)90137-X"},{"key":"20_CR34","first-page":"39","volume-title":"A framework for distributed object-oriented testing","author":"CY Wong","year":"1997","unstructured":"Wong, C.Y.; Chanson, S.T.; Cheung, S.C.; Fuchs, H.: A framework for distributed object-oriented testing. Proc. Conference FORTE\/PSTV\u201997; Osaka; Chapman & Hall, 1997, pp. 39\u201356."}],"container-title":["Informatik Aktuell","Kommunikation in Verteilten Systemen (KiVS)"],"original-title":[],"language":"de","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-60111-8_20","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,2,18]],"date-time":"2023-02-18T18:36:47Z","timestamp":1676745407000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-642-60111-8_20"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999]]},"ISBN":["9783540655978","9783642601118"],"references-count":34,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-60111-8_20","relation":{},"ISSN":["1431-472X"],"issn-type":[{"type":"print","value":"1431-472X"}],"subject":[],"published":{"date-parts":[[1999]]}}}